Java backend: moved SetVariablesInferredSort pass before AddEmptyLists to ensure that latter pass has correct sort information; now I can write "rule var E1, E2, Es; => var E1; var E2, Es;" without unnecessary sorts
unified the two simple-untyped definitions of Java and Maude backends