From b9400f816ec1ff7f0df70b6daf0733b4d41cd376 Mon Sep 17 00:00:00 2001
From: Julian Dolby <juliandolby@gmail.com>
Date: Thu, 2 Aug 2018 21:58:05 -0400
Subject: [PATCH] copy kawa jar

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

diff --git a/com.ibm.wala.core.testdata/build.xml b/com.ibm.wala.core.testdata/build.xml
index eac3728cd..2f2fe6871 100644
--- a/com.ibm.wala.core.testdata/build.xml
+++ b/com.ibm.wala.core.testdata/build.xml
@@ -119,6 +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"/>
 	  <delete dir="${temp.folder}"/>
 	</target>