docs: public Set<AllocationID> getAllocationIdsPerJob(JobID jobId) {
  		final Set<AllocationID> allocationIds = slotsPerJob.get(jobId);
  
  		if (allocationIds == null) {
  			return Collections.emptySet();
  		} else {
  			return Collections.unmodifiableSet(allocationIds);
  		}
  	}