From: rtrimana <rtrimana@uci.edu>
Date: Tue, 30 Jul 2019 17:26:48 +0000 (-0700)
Subject: Adding a missing library.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=e027b2dee622d00b77c8e73a2e0c2b8c472f8d1d;hp=cbd5e2d4681e5579fbacb76b4f5d6c759836143d

Adding a missing library.
---

diff --git a/lib/README b/lib/README
index 19c06db..843b47d 100644
--- a/lib/README
+++ b/lib/README
@@ -1,3 +1,3 @@
-1) Both JAR files need to be extracted into groovy-2.5.7 and groovy-dateutil-2.5.7 directories. 
+1) All JAR files need to be extracted into their directories.
 2) JPF is then given the paths to both directories to model-check Groovy apps.
 3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.
diff --git a/lib/groovy-json-2.5.7.jar b/lib/groovy-json-2.5.7.jar
new file mode 100644
index 0000000..b65d2bb
Binary files /dev/null and b/lib/groovy-json-2.5.7.jar differ