kframework/k — pull request #844 by dwightguth (2014-08-14 21:02:36+00:00)
Title: Remove code that calls KompileOptions.Backend.java()

**do not review yet**