updated JavaSymbolicKRun#proveRule

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicKRun.java
removed commented out code