fix for jdk 1.5