kframework/k — pull request #1255 by dwightguth (2014-12-12 17:11:51+00:00)
Title: remove maude backend and make java the default

**do not review yet**