344345346347348349350351352353354
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); } } /** * {@inheritDoc}