diff -r d703e3aafa8c -r a8db4bf70e90 src/Pure/System/main.scala
--- a/src/Pure/System/main.scala	Wed Jan 02 17:58:53 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-/*  Title:      Pure/System/main.scala
-    Author:     Makarius
-
-Default Isabelle application wrapper.
-*/
-
-package isabelle
-
-import scala.swing.TextArea
-
-
-object Main
-{
-  def main(args: Array[String])
-  {
-    val (out, rc) =
-      try {
-        Platform.init_laf()
-        Isabelle_System.init()
-        Isabelle_System.isabelle_tool("jedit", args: _*)
-      }
-      catch { case exn: Throwable => (Exn.message(exn), 2) }
-
-    if (rc != 0)
-      Library.dialog(null, "Isabelle", "Isabelle output",
-        Library.scrollable_text(out + "\nReturn code: " + rc))
-
-    sys.exit(rc)
-  }
-}
-