# HG changeset patch
# User wenzelm
# Date 1377948879 -7200
# Node ID 26c795734b3c19d98cb6a836322b68417a511b3e
# Parent  8c333d659e8fdb345ac6d093a9b01c1e9b790f72
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;

diff -r 8c333d659e8f -r 26c795734b3c etc/settings
--- 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)
diff -r 8c333d659e8f -r 26c795734b3c lib/Tools/java
--- 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")" "$@"