fix build on JDK 1.6