# -*- shell-script -*- :mode=shellscript:

ISABELLE_JSOUP_HOME="$COMPONENT"

classpath "$ISABELLE_JSOUP_HOME/lib/jsoup-1.21.2.jar"
