fixing the small examples

examples/2d-arrays1.java

examples/arrays.java

examples/arrays1.java

examples/arrays2.java

examples/arrays3.java

examples/loops.java

examples/methods.java

examples/objects.java

examples/side-effects.java

examples/simple.java

examples/switch.java

examples/try-catch-finally.java

src/Javawlp/Engine/WLP.hs