remove maude backend and make java the default

**please review**
could you add some javadoc explaining the distinction between this method and `getArity`?