Ensure that Fedora boxes get JDK 7 (they don't have 6)