Java rewrite engine4

delete all klabels and change all when -> requires
interesting that this strictness attribute it was missed before.