remove maude backend and make java the default

**please review**
and between this method and the simple `getKLabel`