Java backend: added some code to facilitate debugging of the rewrite engine
modified the version of simple-typed-static that is used by the Java backend to pass all tests
fixed the broken KTool/.classpath again