remove maude backend and make java the default

**do not review yet**