From e76a123de26649560af238dec6c4c0995f22919d Mon Sep 17 00:00:00 2001
From: James Roseborough <james.roseborough@luaj.org>
Date: Sun, 13 Nov 2011 01:01:18 +0000
Subject: [PATCH] Update location of javacc libraries.

---
 build.xml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/build.xml b/build.xml
index d42ca97a..a76f517a 100644
--- a/build.xml
+++ b/build.xml
@@ -45,14 +45,15 @@
 	</target>
 	
 	<target name="javacc-lib" unless="javacc.lib.exists">
-		<get src="https://javacc.dev.java.net/files/documents/17/138912/javacc-5.0.zip"
-			dest="lib/javacc-5.0.zip"/>
-		<unzip src="lib/javacc-5.0.zip" dest="lib" overwrite="true">
+		<get src="http://java.net/projects/javacc/downloads/download/javacc-5.0.tar.gz"
+			dest="lib/javacc-5.0.tar.gz"/>
+		<gunzip src="lib/javacc-5.0.tar.gz" dest="lib/javacc-5.0.tar"/>
+		<untar src="lib/javacc-5.0.tar" dest="lib" overwrite="true">
 		    <patternset>
 		        <include name="**/javacc.jar"/>
 		    </patternset>
 		    <mapper type="flatten"/>
-		</unzip>
+		</untar>
 	</target>
 
 	<target name="parser" depends="javacc-lib">