/* If nobody wants these events, don't waste resources creating
* them. */
if (this.areaTreeListeners.size() < 1) {
return;
}
final AreaTreeEvent event = new AreaTreeEvent(this, page);
for (int i = 0; i < this.areaTreeListeners.size(); i++) {
final AreaTreeListener listener = this.areaTreeListeners.get(i);
listener.pageComplete(event);
}
}