idris-lang/Idris-dev — pull request #938 by JanBessai (2014-02-26 14:10:37+00:00)
Title: Java back-end: Look for generated runMain

If there is a main function, it will be accessible via the compiler generated wrapper "runMain". This wrapper will now be used to test for existence of "main" in the Java back-end instead of searching "Main.main".