Java rewrite engine4

delete all klabels and change all when -> requires
It should be here. I made a mistake here. In the past, it was not here because C semantic designer used this rule instead:
     context prepareBuiltin(_, _ ListItem(HOLE => reval(HOLE)) _)