#DrJava configuration file
#Fri Jun 13 22:30:19 CDT 2008
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
window.x = 240
window.y = 50
#compile.before.junit = true