idris-lang/Idris-dev — pull request #563 by JanBessai (2013-10-25 08:21:04+00:00)
Title: Java RTS operational again

This repairs cabal to install the correct Maven POM, bumps the Java RTS Version to include isNull(String) and enables make test_java in travis.