kframework/k — pull request #714 by yilongli (2014-07-11 21:55:52+00:00)
Title: forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review