--- a/etc/settings Sat Aug 31 13:20:18 2013 +0200
+++ b/etc/settings Sat Aug 31 13:34:39 2013 +0200
@@ -13,6 +13,8 @@
ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
+
###
### Interactive sessions (cf. isabelle tty)
--- a/lib/Tools/java Sat Aug 31 13:20:18 2013 +0200
+++ b/lib/Tools/java Sat Aug 31 13:34:39 2013 +0200
@@ -5,6 +5,8 @@
# DESCRIPTION: invoke Java within the Isabelle environment
CLASSPATH="$(jvmpath "$CLASSPATH")"
-isabelle_jdk java -Dfile.encoding=UTF-8 -server \
+
+declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
+isabelle_jdk java "${JAVA_ARGS[@]}" \
"-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"