629630631632633634635636637638639
} } else { highestFlushLevel = IN.MAX_LEVEL; } } finally { inMemINs.releaseMajorLatchIfHeld(); } return newDirtyMap; }