src/Pure/System/bash.scala

     catch { case _: IllegalStateException => }
 
 
     // cleanup
 
-    private def do_cleanup()
+    private def do_cleanup(): Unit =
     {
       try { Runtime.getRuntime.removeShutdownHook(shutdown_hook) }
       catch { case _: IllegalStateException => }
 
       script_file.delete