isabelle: lib/Tools/java@d9fed6e99a57 (annotated)

27914 9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	2	#
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	3	# Author: Makarius
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	4	#
27916 09b3010ffaf2 removed unused usage; wenzelm parents: 27914 diff changeset	5	# DESCRIPTION: invoke Java within the Isabelle environment
27914 9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	6
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	7	CLASSPATH="$(jvmpath "$CLASSPATH")"
48915 34fac6fb9b03 simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component; wenzelm parents: 47465 diff changeset	8	isabelle_jdk java -Dfile.encoding=UTF-8 -server \
34fac6fb9b03 simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component; wenzelm parents: 47465 diff changeset	9	"-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
41380 92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	10