JAVA_HOME=/usr/lib/jvm/java
JAVA_OPTIONS=
JETTY_HOME=/usr/share/jetty50
JETTY_CONSOLE=/var/log/jetty50/jetty-console.log
JETTY_PORT=8080
JETTY_RUN=/var/run/jetty50
JETTY_PID=$JETTY_RUN/jetty4.pid
