kframework/k — pull request #1238 by dwightguth (2014-12-04 15:44:08+00:00)
Title: Convert many examples to java backend

**do not review yet**