kframework/k — pull request #960 by yilongli (2014-09-17 14:33:04+00:00)
Title: separated Cell2DataStructures to Java-backend-specific version and non-b...

...ackend-specific version

@dwightguth please review