odd workaround for scalac to enable nohup;

--- a/src/Tools/Graphview/lib/Tools/graphview	Sat Sep 07 11:02:27 2013 +0200
+++ b/src/Tools/Graphview/lib/Tools/graphview	Sat Sep 07 11:28:30 2013 +0200
@@ -139,6 +139,10 @@
   rm -rf classes && mkdir classes
 
   (
+    #workaround for scalac
+    function stty() { :; }
+    export -f stty
+
     CLASSPATH="$CLASSPATH:$PURE_JAR"
     CLASSPATH="$(jvmpath "$CLASSPATH")"
     exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d classes "${SOURCES[@]}"

--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 07 11:02:27 2013 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 07 11:28:30 2013 +0200
@@ -293,6 +293,10 @@
 
   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   (
+    #workaround for scalac
+    function stty() { :; }
+    export -f stty
+
     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "${JFREECHART_JARS[@]}" \
       "$XZ_JAVA_HOME/lib/xz.jar" "$PURE_JAR" "$GRAPHVIEW_JAR" "$SCALA_HOME/lib/scala-compiler.jar"
     do