kframework/k — pull request #916 by yilongli (2014-09-01 09:21:48+00:00)
Title: change cell label representation to class in the Java backend

Minor optimization. Provides slight speedup (~5%) for the rewrite engine. @dwightguth @andreistefanescu please review