true gui lib/classes/isabelle-scala.jar Isabelle.exe normal http://java.com/download false false 1.6.0 preferJre -Disabelle.home="%EXEDIR%"