[java-sig-commits] [Bug 826551] Allow to override the default JETTY_PORT jetty.conf