Fix for jdk6