Jetty port update script does not work for SSL port

Implemention of Ubbos fix needed, see: dariah-de/textgrid-iiif@6a500444