kframework/k — pull request #1228 by dwightguth (2014-12-02 20:43:54+00:00)
Title: fix hybrid in java backend

**do not review yet**