This commit patches build.xml to use the new svn repository address:
https://drjava.svn.sourceforge.net/svnroot/drjava
The following file was modified:
M build.xml
Authored by: rcartwright 2013-09-01
Parent: [r5755]
Child: [r5757]
