}
void fireProblemsChanged(final IResource[] changedResources,
final boolean isMarkerChange) {
if (fListeners != null && !fListeners.isEmpty()) {
final LabelProviderChangedEvent event = new ProblemsLabelChangedEvent(this,
changedResources, isMarkerChange);
final Object[] listeners = fListeners.getListeners();
for (int i = 0; i < listeners.length; i++) {
((ILabelProviderListener) listeners[i]).labelProviderChanged(event);
}