change JAVA_OPTIONS for jetty.sh