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

ISABELLE_SQLITE_HOME="$COMPONENT"

classpath "$ISABELLE_SQLITE_HOME/sqlite-jdbc-3.23.1.jar"
