Previous changes concerning jre include committed to the wrong properties file - corrected