fixing up Soot version number

Author: Eric Bodden

src/soot/Main.java

@@ -42,7 +42,7 @@ public static Main v() {
     // TODO: the following string should be updated by the source control
     // No it shouldn't. Prcs is horribly borken in this respect, and causes
     // the code to not compile all the time.
-    public final String versionString = "2.2.3";
+    public final String versionString = "2.2.5";
 
     private Date start;
     private Date finish;