kframework/k — pull request #1225 by dwightguth (2014-12-02 20:40:56+00:00)
Title: fix superheating and supercooling for java backend

@traiansf @yilongli please review