remove maude backend and make java the default

**please review**
See above: I believe this method should eventually go away.