edwinb/Idris-dev — pull request #400 by JanBessai (2013-07-16 18:14:38+00:00)
Title: Remove Java RTS build in favor of the version hosted on Maven Central

Now maven is no longer required during the build of Idris, so the "-f Java" cabal flag has gone, too.