Reinstate log4j - JAS uses it, apparently.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10244 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 8fed142e1e
2 changed files with 1 additions and 0 deletions
--- a/prism/.classpath
+++ b/prism/.classpath
@ -10,5 +10,6 @@
 	<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/log4j.jar"/>
 	<classpathentry kind="output" path="classes"/>
 </classpath>
--- a/prism/lib/log4j.jar
+++ b/prism/lib/log4j.jar