fix build with jdk6