From 530c6d5bd76860b3c1358338a592bd47c8bef4d3 Mon Sep 17 00:00:00 2001
From: Julian Dolby <juliandolby@gmail.com>
Date: Fri, 3 Aug 2018 00:08:46 -0400
Subject: [PATCH] put kawa.jar in proper place

---
 com.ibm.wala.core.testdata/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/com.ibm.wala.core.testdata/build.xml b/com.ibm.wala.core.testdata/build.xml
index 9a37bb02c..5d5bbbfe5 100644
--- a/com.ibm.wala.core.testdata/build.xml
+++ b/com.ibm.wala.core.testdata/build.xml
@@ -119,7 +119,7 @@
 	    <arg line="ftp://ftp.gnu.org/pub/gnu/kawa/kawa-3.0.zip"/>
 	  </exec>	
 	  <unzip src="${temp.folder}/kawa-3.0.zip" dest="${plugin.destination}"/>
-	  <copy file="${plugin.destination}/kawa-3.0/lib/kawa.jar" todir="${plugin.destination}/kawa.jar" failonerror="false" overwrite="false"/>
+	  <copy file="${plugin.destination}/kawa-3.0/lib/kawa.jar" todir="${plugin.destination}" failonerror="false" overwrite="false"/>
 	  <delete dir="${temp.folder}"/>
 	</target>