edwinb/Idris-dev — pull request #434 by JanBessai (2013-08-02 01:25:18+00:00)
Title: Independent java rts version

Avoid future release breakage by setting the required Java RTS version to one that is known to exist and work.