1.1 --- a/src/Pure/System/platform.scala	Wed Jan 04 13:58:06 2012 +0100
     1.2 +++ b/src/Pure/System/platform.scala	Wed Jan 04 15:41:18 2012 +0100
     1.3 @@ -58,7 +58,6 @@
     1.4    /* JVM name */
     1.5  
     1.6    val jvm_name: String = System.getProperty("java.vm.name")
     1.7 -  val is_hotspot: Boolean = jvm_name.startsWith("Java HotSpot")
     1.8  
     1.9  
    1.10    /* Swing look-and-feel */

     2.1 --- a/src/Tools/jEdit/README_BUILD	Wed Jan 04 13:58:06 2012 +0100
     2.2 +++ b/src/Tools/jEdit/README_BUILD	Wed Jan 04 15:41:18 2012 +0100
     2.3 @@ -1,11 +1,14 @@
     2.4  Requirements for instantaneous build from sources
     2.5  =================================================
     2.6  
     2.7 -* Official Java JDK 1.6/1.7 from Sun/Oracle/Apple
     2.8 +* Official Java JDK 1.6 from Sun/Oracle/Apple
     2.9    http://www.oracle.com/technetwork/java/javase/downloads/index.html
    2.10  
    2.11 -* Scala 2.8.2.final (experimental support for 2.9.1.final)
    2.12 -  http://www.scala-lang.org
    2.13 +  (experimental support for JDK/OpenJDK 1.7)
    2.14 +
    2.15 +* Scala 2.8.2.final http://www.scala-lang.org
    2.16 +
    2.17 +  (experimental support for 2.9.1.final)
    2.18  
    2.19  * Auxiliary jedit_build component
    2.20    http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz

     3.1 --- a/src/Tools/jEdit/src/plugin.scala	Wed Jan 04 13:58:06 2012 +0100
     3.2 +++ b/src/Tools/jEdit/src/plugin.scala	Wed Jan 04 15:41:18 2012 +0100
     3.3 @@ -150,18 +150,6 @@
     3.4    }
     3.5  
     3.6  
     3.7 -  /* check JVM */
     3.8 -
     3.9 -  def check_jvm()
    3.10 -  {
    3.11 -    if (!Platform.is_hotspot) {
    3.12 -      Library.warning_dialog(jEdit.getActiveView, "Bad Java Virtual Machine",
    3.13 -        "This is " + Platform.jvm_name,
    3.14 -        "Isabelle/jEdit requires Java Hotspot from Sun/Oracle/Apple!")
    3.15 -    }
    3.16 -  }
    3.17 -
    3.18 -
    3.19    /* buffers */
    3.20  
    3.21    def swing_buffer_lock[A](buffer: JEditBuffer)(body: => A): A =
    3.22 @@ -433,7 +421,6 @@
    3.23      Swing_Thread.assert()
    3.24      message match {
    3.25        case msg: EditorStarted =>
    3.26 -        Isabelle.check_jvm()
    3.27          if (Isabelle.Boolean_Property("auto-start"))
    3.28            Isabelle.start_session()
    3.29