* may change.
*/
void doFindMarkers(ArrayList result, String type, boolean includeSubtypes) {
MarkerManager markerMan = ((Workspace) ResourcesPlugin.getWorkspace()).getMarkerManager();
for (int i = 0; i < resources.length; i++)
markerMan.doFindMarkers(resources[i], result, type, includeSubtypes, depth);
}
/**
* Returns all markers of the specified type on existing resources in this traversal.
* If <code>includeSubtypes</code> is <code>false</code>, only markers