Make it work with jdk 1.6.