Fixed build.properties of Jetty manager