Java backend: minor: revised some method signatures
Java backend: experimental implementation of the semantic equality _=K_
Java backend: minor
Java backend: implemented a new version of Term#evaluate which takes into account that a formula can be generated during function/predicate evaluation
Java backend: implemented narrowing for map lookup in the (hopefully) correct place this time
Java backend: minor: some more documentation
Java backend: removed a useless and (probably) misplaced class
Java backend: minor: added TODO comment
Java backend: moved Utils class to util package
fixed .classpath for eclipse again
Java backend: testgen: reverted my previous attempt to implement narrowing in MapLookup because MapLookup will be eliminated in the future