Compiles under Java 6