private void batchedUpdate(IMarkerDelta[] markerDeltas) {
HashSet removedMarkers= new HashSet(markerDeltas.length);
HashSet modifiedMarkers= new HashSet(markerDeltas.length);
for (int i= 0; i < markerDeltas.length; i++) {
IMarkerDelta delta= markerDeltas[i];
switch (delta.getKind()) {
case IResourceDelta.ADDED:
addMarkerAnnotation(delta.getMarker());
break;
case IResourceDelta.REMOVED:
removedMarkers.add(delta.getMarker());
break;
case IResourceDelta.CHANGED:
modifiedMarkers.add(delta.getMarker());
break;
}
}
if (modifiedMarkers.isEmpty() && removedMarkers.isEmpty())