IsabelleSystem.find_logics;

--- a/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 22:09:33 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OptionPane.scala	Sat Dec 27 12:29:15 2008 +0100
@@ -59,14 +59,12 @@
     })
 
     addComponent(property("logic.title"), {
-      val logics : Array[Object] = 
-        (IsabelleSystem.isabelle_tool("findlogics") _1).split("\\s").asInstanceOf[Array[Object]]
-      for (name <- logics) {
+      for (name <- IsabelleSystem.find_logics()) {
         logicName.addItem(name)
         if (name == property("logic"))
           logicName.setSelectedItem(name)
       }
-      
+
       logicName
     })
   }