diff --git a/prism/.classpath b/prism/.classpath
index 29b2d210..2bde8477 100644
--- a/prism/.classpath
+++ b/prism/.classpath
@@ -9,7 +9,7 @@
 	<classpathentry kind="lib" path="lib/colt.jar" sourcepath="/Users/dxp/colt/src"/>
 	<classpathentry kind="lib" path="lib/pepa.zip"/>
 	<classpathentry kind="lib" path="lib/lpsolve55j.jar"/>
-	<classpathentry kind="lib" path="lib/jas-2013137.jar"/>
+	<classpathentry kind="lib" path="lib/jas.jar"/>
 	<classpathentry kind="lib" path="lib/log4j.jar"/>
 	<classpathentry kind="output" path="classes"/>
 </classpath>
diff --git a/prism/lib/jas-2013137.jar b/prism/lib/jas-2013137.jar
deleted file mode 100644
index 7dff0f10..00000000
Binary files a/prism/lib/jas-2013137.jar and /dev/null differ
diff --git a/prism/lib/jas.jar b/prism/lib/jas.jar
new file mode 100644
index 00000000..f2bd5654
Binary files /dev/null and b/prism/lib/jas.jar differ