This commit patches build.xml to use the new svn repository address:

rcartwright · rcartwright · commit 3fc1b74de377 · 2013-09-01T21:21:22.000Z
https://drjava.svn.sourceforge.net/svnroot/drjava The following file was modified: M build.xml git-svn-id: file:///tmp/test-svn/trunk@5756 fe72c1cf-3628-48e9-8b72-1c46755d3cff
diff --git a/drjava/build.xml b/drjava/build.xml
@@ -12,7 +12,7 @@
   <property name="md5-temp-name" value="classes/md5.properties" />
   <property name="md5-properties-path" value="edu/rice/cs/drjava/md5.properties" />
   <property name="main-class" value="edu.rice.cs.drjava.DrJava" />
-  <property name="svn-repository" value="https://drjava.svn.sourceforge.net/svnroot/drjava" />
+  <property name="svn-repository" value="https://svn.code.sf.net/p/drjava/code/tags" />
 
   <!-- Properties loaded from a file -->
   <property name="props" value="../ant.properties" />
