small change to fit jdk 6