JB: Java 1.7 specified