kframework/k — pull request #759 by dwightguth (2014-07-25 23:09:08+00:00)
Title: significantly increase performance on 32 bit jvms

@yilongli please review