Adding run scripts.

diff --git a/examples/run.sh b/examples/run.sh
new file mode 100755 (executable)
index 0000000..88ab09c
--- /dev/null
+++ b/examples/run.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+java -classpath ../build/jpf.jar gov.nasa.jpf.JPF +classpath=.:./groovy-2.5.7 $1

diff --git a/run.sh b/run.sh
new file mode 100755 (executable)
index 0000000..85733b1
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7 $1