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