etc/build.props

--- a/etc/build.props	Sat Jul 17 12:59:47 2021 +0200
+++ b/etc/build.props	Sat Jul 17 13:42:21 2021 +0200
@@ -1,6 +1,5 @@
-description = Isabelle/Scala
-lib = lib/classes
-name = isabelle
+title = Isabelle/Scala
+module = $ISABELLE_HOME/lib/classes/isabelle.jar
 main = isabelle.jedit.Main
 resources = \
   lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \