Ignore jEnv files

This allows to use [jEnv](http://www.jenv.be/) to configure the version of Java to be used to build the platform. It comes in handy when testing builds with different versions of the JVM.