// Refresh when a batch Resource change has occurred. Simply refresh everything.
public void onBatchResourceChanges(
@Observes final ResourceBatchChangesEvent resourceBatchChangesEvent) {
if (!getView().isVisible()) {
return;
}
boolean projectChange = false;
for (final Path path : resourceBatchChangesEvent.getBatch().keySet()) {
if (path.getFileName().equals("pom.xml")) {
projectChange = true;
break;
}
}
if (!projectChange) {
refresh(false);
}
}
