kframework/k — pull request #1199 by dwightguth (2014-11-21 15:23:08+00:00)
Title: remove ordinal for java backend sorts

@yilongli please review