Fixed a compilation error on jdk 6.