changed to use JDK 7 for CI