Add newer tests to idris.cabal
Fix missing case in Java codegen