moved Java 7 JDK to 'devtools'