enforce JDK7