made compilable with jdk 1.6