ensure JDK 1.6 compilation