remove maude backend and make java the default

**please review**
Is this file still needed? I think this worked only with the maude backend.