src/Tools/jEdit/nbproject/project.properties

 file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
 includes=**
 jar.compress=false
 java.platform.active=java_default_platform
 javac.classpath=\
-    ${libs.jEdit.classpath}:\
     ${libs.Flying-Saucer.classpath}:\
+    ${reference.jEdit.build}:\
     ${libs.Isabelle-Pure.classpath}
 # Space-separated list of extra javac options
 javac.compilerargs=
 javac.deprecation=false
 javac.source=1.5

 javadoc.windowtitle=
 main.class=org.gjt.sp.jedit.jEdit
 manifest.file=manifest.mf
 meta.inf.dir=${src.dir}/META-INF
 platform.active=default_platform
+project.jEdit=contrib/jEdit
+reference.jEdit.build=${project.jEdit}/build/jEdit.jar
 run.classpath=\
     ${javac.classpath}:\
     ${build.classes.dir}
 run.jvmargs=-Xms128m -Xmx512m
 run.test.classpath=\