forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
what? no, why are we commenting out this test? If you intend to immediately fix it, fix it first and /then/ merge. Commenting it out now runs the risk of introducing regressions from another change during the time it's commented out.