code: private void clear() {
  		availableSlots.clear();
  		allocatedSlots.clear();
  		pendingRequests.clear();
  		waitingForResourceManager.clear();
  		registeredTaskManagers.clear();
  	}
docs: Clear the internal state of the SlotPool.