make use of JDK7