compiled with Java 7