use patched JDK on Heroku