use patched JDK on Heroku
Committed the compiled version.