src/Tools/jEdit/nbproject/project.properties

 application.title=Isabelle-jEdit
 application.vendor=makarius
-application.args=-noserver -nobackground -nosettings
+application.args=-noserver -nobackground
 build.classes.dir=${build.dir}/classes
 build.classes.excludes=**/*.java,**/*.form,**/*.scala
 # This directory is removed when the project is cleaned:
 build.dir=build
 build.generated.dir=${build.dir}/generated