remove maude backend and make java the default

**please review**
`isConstant` in the future is going to be true iff it has the attribute `token`.
Is this condition still true with this information?