replaced jas by version which should build work with java 1.5

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6791 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 8aeab97154
2 changed files with 0 additions and 0 deletions
--- a/prism/lib/jas-2.5.4408-bin.jar
+++ b/prism/lib/jas-2.5.4408-bin.jar
--- a/prism/lib/jas-2013137.jar
+++ b/prism/lib/jas-2013137.jar