diff -r 6301ed01e34d -r 8adcf1f0042d src/Tools/jEdit/src/jedit_main.scala
--- a/src/Tools/jEdit/src/jedit_main.scala	Fri Sep 06 20:59:36 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,33 +0,0 @@
-/*  Title:      Tools/jEdit/src/jedit_main.scala
-    Author:     Makarius
-
-Main entry point from running JVM.
-*/
-
-package isabelle.jedit
-
-
-import isabelle._
-
-
-import org.gjt.sp.jedit.jEdit
-
-
-object JEdit_Main
-{
-  def main(args: Array[String])
-  {
-    GUI.init_laf()
-    Isabelle_System.init()
-
-    System.setProperty("jedit.home",
-      Isabelle_System.platform_path(Path.explode("$JEDIT_HOME/dist")))
-
-    // FIXME properties from JEDIT_JAVA_OPTIONS JEDIT_SYSTEM_OPTIONS
-    val jedit_options = Isabelle_System.getenv_strict("JEDIT_OPTIONS").split(" +")
-    val jedit_settings =
-      Array("-settings=" + Isabelle_System.platform_path(Path.explode("$JEDIT_SETTINGS")))
-    jEdit.main(jedit_options ++ jedit_settings ++ args)
-  }
-}
-