Added a jetty.java_options attribute