src/Tools/jEdit/lib/Tools/jedit

--- a/src/Tools/jEdit/lib/Tools/jedit	Fri Apr 21 11:38:45 2017 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Apr 21 13:51:43 2017 +0200
@@ -350,7 +350,7 @@
       classpath "$JAR"
     done
     export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
-    exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALAC_OPTIONS -d dist/classes "${SOURCES[@]}"
+    isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d dist/classes "${SOURCES[@]}"
   ) || fail "Failed to compile sources"
 
   cd dist/classes