Admin/Linux/Isabelle.run
changeset 58792 d6d9bb806bb5
parent 56247 1ad01f98dc3e
child 61134 80ac5e17772d
--- a/Admin/Linux/Isabelle.run	Mon Oct 27 16:11:24 2014 +0100
+++ b/Admin/Linux/Isabelle.run	Mon Oct 27 20:20:53 2014 +0100
@@ -22,7 +22,7 @@
 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
 unset XMODIFIERS
 
-exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
+exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
   "-Disabelle.home=$ISABELLE_HOME" \
   {JAVA_ARGS} \
   -classpath "{CLASSPATH}" \