Update specs for Java 7