*/
private void informListeners() {
if (fRevisionInfo == null || fRevisionListeners.isEmpty())
return;
RevisionEvent event= new RevisionEvent(fRevisionInfo);
Object[] listeners= fRevisionListeners.getListeners();
for (int i= 0; i < listeners.length; i++) {
IRevisionListener listener= (IRevisionListener) listeners[i];
listener.revisionInformationChanged(event);
}