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