Java backend: fixed a missing case in translating the "requires" part of a generic KIL node