Added two debug methods to FreeSpaceManager