Es stellte sich heraus, dass Jetty versuchte, sich an zwei Ports zu binden: 8010 und 443, obwohl im Protokoll nur 8010 mit dem Fehler angezeigt wurde.
Durch Ändern des SSL-Ports auf etwas über 1024 wurde das Problem behoben.
Ich hatte versucht, dem Dienst vollen Root-Zugriff zu gewähren. Dies erlaubte jedoch immer noch nicht, dass der Dienst auf einem Port unter 1024 ausgeführt werden konnte.