Java backend: pattern matching: removed a wrong assertion