Java backend: fixed a bug introduced by me earlier which allows me to uncomment several tests for simple