(maint) Fix jetty.ini replacement

wip