Code works with Java 7, too