remove maude backend and make java the default

**please review**