edwinb/Idris-dev — pull request #382 by juhp (2013-07-08 10:01:57+00:00)
Title: run installJavaLib also in postCopy

I think installJavaLib also needs to be run in postCopy,
though still untested.