1#!/usr/bin/env bash 2# 3# Author: Makarius 4# 5# DESCRIPTION: invoke Java within the Isabelle environment 6 7eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" 8 9[ -n "$CLASSPATH" ] && classpath "$CLASSPATH" 10unset CLASSPATH 11 12isabelle_java java "${JAVA_ARGS[@]}" \ 13 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \ 14 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" 15