Make jetty.xml port substitution version agnostic