Admin/Windows/launch4j/isabelle.xml

--- a/Admin/Windows/launch4j/isabelle.xml	Thu Jul 15 16:01:04 2021 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Thu Jul 15 16:35:45 2021 +0200
@@ -15,7 +15,7 @@
   <manifest></manifest>
   <icon>{ICON}</icon>
   <classPath>
-    <mainClass>isabelle.Main</mainClass>
+    <mainClass>isabelle.jedit.Main</mainClass>
 {CLASSPATH}
   </classPath>
   <singleInstance>