public void removeDescriptor(IArtifactKey key, IProgressMonitor monitor) {
for (IArtifactDescriptor nextDescriptor : artifactDescriptors) {
if (key.equals(nextDescriptor.getArtifactKey())) artifactDescriptors.remove(nextDescriptor);
}
if (keysToLocations.containsKey(key)) {
URI theLocation = keysToLocations.get(key);
locationsToContents.remove(theLocation);
keysToLocations.remove(key);
}
}
