kframework/k — pull request #862 by dwightguth (2014-08-20 19:43:12+00:00)
Title: lsrefactor java backend to use more dependency injection

**do not review yet**