compiled with Java 1.6