src/Tools/jEdit/src/plugin.scala

   {
     val icon = GUIUtilities.loadIcon(name)
     if (icon.getIconWidth < 0 || icon.getIconHeight < 0)
       Log.log(Log.ERROR, icon, "Bad icon: " + name)
     icon
-  }
-
-
-  /* check JVM */
-
-  def check_jvm()
-  {
-    if (!Platform.is_hotspot) {
-      Library.warning_dialog(jEdit.getActiveView, "Bad Java Virtual Machine",
-        "This is " + Platform.jvm_name,
-        "Isabelle/jEdit requires Java Hotspot from Sun/Oracle/Apple!")
-    }
   }
 
 
   /* buffers */
 

   override def handleMessage(message: EBMessage)
   {
     Swing_Thread.assert()
     message match {
       case msg: EditorStarted =>
-        Isabelle.check_jvm()
         if (Isabelle.Boolean_Property("auto-start"))
           Isabelle.start_session()
 
       case msg: BufferUpdate
       if msg.getWhat == BufferUpdate.LOADED =>