# HG changeset patch
# User wenzelm
# Date 1429909533 -7200
# Node ID 02fd729f2883b2698cdb4d57bc01ef3156335041
# Parent  a06f69f0de46f9d877a865ae7ee4360c80a9fcd7
more paranoia settings, e.g. relevant for Ubuntu 15.04;

diff -r a06f69f0de46 -r 02fd729f2883 etc/settings
--- a/etc/settings	Fri Apr 24 22:30:56 2015 +0200
+++ b/etc/settings	Fri Apr 24 23:05:33 2015 +0200
@@ -18,7 +18,11 @@
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
 
-#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
+#paranoia settings -- avoid intrusion of alien options
+unset "_JAVA_OPTIONS"
+unset "JAVA_TOOL_OPTIONS"
+
+#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc.
 unset XMODIFIERS