remove maude backend and make java the default

**please review**
I don't think `getPrefixLabel` should be integrated into `getKLabel`. That function was created separately only because of maude.