remove maude backend and make java the default

so many test failures to go through... but the output is easier to read on Jenkins.

**do not review yet**