new NullProgressMonitor());
} catch (CoreException e) {
StatusManager.getManager().handle(e, IDEWorkbenchPlugin.IDE_WORKBENCH);
}
if (traversals != null) {
<BUG>ResourceTraversal traversal = null;
IResource[] resources = null;
for (int i = 0; i < traversals.length; i++) {
traversal = traversals[i];</BUG>
resources = traversal.getResources();

new NullProgressMonitor());
} catch (CoreException e) {
StatusManager.getManager().handle(e, IDEWorkbenchPlugin.IDE_WORKBENCH);
}
if (traversals != null) {
IResource[] resources = null;
for (ResourceTraversal traversal : traversals) {
resources = traversal.getResources();
