Java rewrite engine4

delete all klabels and change all when -> requires
I take it back. I delete the structural because I change "cast" constructor to function.
https://github.com/kframework/c-semantics/pull/30/files#