kframework/k — pull request #974 by dwightguth (2014-09-22 20:57:39+00:00)
Title: separate java backend out into separate maven module / k plugin

**do not review yet**