#333 fix for jdk 1.7