Java rewrite engine4

delete all klabels and change all when -> requires
Hm, you were right ... Map update really was all backewards in the original C semantics.  Very strange, because I am pretty sure Chucky knew this very well.