* Efficient implementation of {@link #findMarkers(String, boolean)}, not
* available to clients because underlying non-API methods are used that
* 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);
}