Remove java rts from idris.cabal