forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
It's not used anywhere. And I don't want to make a decision regarding whether it should be changed to have sort KItem.