# HG changeset patch
# User wenzelm
# Date 1260223563 -3600
# Node ID 7996b488a9b509a3019531a9f71076a28e91c78b
# Parent  0bae8702a7c53b5b5d7b9645acaeda9f0d0f437b
depend on Java 1.6 after all;

diff -r 0bae8702a7c5 -r 7996b488a9b5 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 07 22:23:33 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 07 23:06:03 2009 +0100
@@ -260,7 +260,7 @@
   {
     getenv_strict("ISABELLE_TOOLS").split(":").find(dir => {
       val file = platform_file(dir + "/" + name)
-      try { file.isFile && file.canRead } //  file.canExecute requires Java 1.6
+      try { file.isFile && file.canRead && file.canExecute }
       catch { case _: SecurityException => false }
     }) match {
       case Some(dir) =>