lib/README

   1 1) Both JAR files need to be extracted into groovy-2.5.7 and groovy-dateutil-2.5.7 directories.
   2 2) JPF is then given the paths to both directories to model-check Groovy apps.
   3 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.