#DrJava configuration file
#Tue Nov 24 20:40:41 CET 2015
extra.classpath = PathToGreencraftJar
lineenum.enabled = true
save.before.compile = true
