public void Cleanup() { Logger.Debug ("IceBackend.Cleanup ()"); // TODO: Figure out whether we need to do anything in IceBackend.Cleanup ()"); }