Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify...
drwxr-xr-x - ContactSensor
drwxr-xr-x - DoorControl
drwxr-xr-x - Event
drwxr-xr-x - Extractor
drwxr-xr-x - GlobalVariables
drwxr-xr-x - Location
drwxr-xr-x - Lock
drwxr-xr-x - Logger
drwxr-xr-x - Methods
drwxr-xr-x - NfcTouch
drwxr-xr-x - PresenceSensor
-rw-r--r-- 525 README
-rw-r--r-- 6469 Runner.py
drwxr-xr-x - Switch
drwxr-xr-x - Thermostat
drwxr-xr-x - Timer
drwxr-xr-x - appTouch
drwxr-xr-x - eventSimulator
drwxr-xr-x - lib
-rw-r--r-- 21000 main.groovy
-rw-r--r-- 249 makefile