for (int markerNum = 0; markerNum < oldMarkers.length; markerNum++) {
// System.out.println("EOModelEditor.handleModelErrors:
// deleting " + markers[markerNum]);
oldMarkers[markerNum].delete();
}
IMarker[] newMarkers = indexFile.findMarkers(org.objectstyle.wolips.eomodeler.core.Activator.EOMODEL_PROBLEM_MARKER, true, IResource.DEPTH_INFINITE);
for (int markerNum = 0; markerNum < newMarkers.length; markerNum++) {
// System.out.println("EOModelEditor.handleModelErrors:
// deleting " + markers[markerNum]);
newMarkers[markerNum].delete();
}