kframework/k — pull request #1216 by dwightguth (2014-11-28 21:55:41+00:00)
Title: remove maude backend and make java the default

so many test failures to go through... but the output is easier to read on Jenkins.

**do not review yet**