2007-03-23 discovered internal error, also present in jdk1.5.0_07 for
           java program; memorialize it here in case see it again...

