public void informChangeListener() {
BoostedChangeEvent<DocumentationContext> event = new BoostedChangeEvent<DocumentationContext>(
this, this);
ChangeListener listener = getChangeListener();
if (listener != null)
listener.stateChanged(event);
if (changeListeners != null)
for (ChangeListener listener2 : changeListeners)
listener2.stateChanged(event);