build fix for jdk 1.6