Use the Java 7 API