edwinb/Idris-dev — pull request #343 by chetant (2013-06-23 03:54:30+00:00)
Title: Fixed Java backend building & installation on Windows/mingw32

Maven2 on Windows provides a mvn.bat file that causes cabal to complain about missing 'mvn' when building and installing.