kframework/k — pull request #914 by yilongli (2014-09-01 08:23:56+00:00)
Title: Make Term#hashcode in Java backend transient

The field Term#hashCode should be invalidated after deserialization. @dwightguth please review