Fixes #5782: Use the JDK 1.7+ by default on our packages