remove maude backend and make java the default

**please review**
I haven't gotten to the end of the diff yet, but what happens to this?