added java_extra_options hash to jetty config