fix failed compilation under jdk 6