system.properties added to set specific JDK version on Heroku (if necessary)