forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
OK, never mind. Please keep doing this. I will fix them in the next commit.