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