if (onDiskChecksum != checksum.getValue())
{
// try again using new checksum object to be doubly sure
CRC32 newChecksum = new CRC32();
newChecksum.reset();
newChecksum.update(pageData, 0, getPageSize()-CHECKSUM_SIZE);
if (onDiskChecksum != newChecksum.getValue())
{
throw StandardException.newException(
SQLState.FILE_BAD_CHECKSUM,