Permit building on JDK 7.