#  DrJava configuration file
#  Tailored for COS 226 at Princeton University
#  See Appendix A (p. 36) of http://drjava.org/docs/userdoc.pdf for options

javac.location = INSTALL_DIR\\java\\lib\\tools.jar
extra.classpath = INSTALL_DIR\\algs4.jar
all.compiler.versions = true
lineenum.enabled = true
indent.level = 4
right.margin.columns = 80
save.before.compile = true
save.before.javadoc = true
compile.before.junit = true
auto.close.comments = true
interactions.exit.prompt = false
interactions.reset.prompt = false
last.dir = INSTALL_DIR
last.interactions.dir = INSTALL_DIR
dialog.completeword.javaapi = true
dialog.drjava.survey.enabled = false
new.version.notification = none (disabled)
file.ext.registration = always
files.backup = false
run.with.assert = false