#JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-17-openjdk}
#JAVA=$JAVA_HOME/bin/java
#JAVA_OPTIONS=

#JETTY_ARGS=
JETTY_PORT=8080
JETTY_USER=jetty11
JETTY_HOME=/usr/share/jetty11
JETTY_PID=/run/jetty11/jetty.pid

# Autodetected variables:
#JETTY_BASE=$JETTY_HOME
#JETTY_PID=$JETTY_RUN/jetty.pid
#JETTY_STATE=$JETTY_RUN/jetty.state
#JETTY_CONF=$JETTY_BASE/etc/jetty.conf