Verifying fix for J2SE 1.6