--- a/src/Tools/jEdit/nbproject/project.properties Sun Oct 19 18:32:22 2008 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties Sun Oct 19 20:04:05 2008 +0200
@@ -1,3 +1,5 @@
+application.title=Isabelle-jEdit
+application.vendor=makarius
build.classes.dir=${build.dir}/classes
build.classes.excludes=**/*.java,**/*.form,**/*.scala
# This directory is removed when the project is cleaned:
@@ -46,17 +48,14 @@
javadoc.use=true
javadoc.version=false
javadoc.windowtitle=
-main.class=
+main.class=org.gjt.sp.jedit.jEdit
manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
platform.active=default_platform
run.classpath=\
${javac.classpath}:\
${build.classes.dir}
-# Space-separated list of JVM arguments used when running the project
-# (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
-# or test-sys-prop.name=value to set system properties for unit tests):
-run.jvmargs=
+run.jvmargs=-Xms128m -Xmx512m
run.test.classpath=\
${javac.test.classpath}:\
${build.test.classes.dir}