}));
registerHandler(
eventBus.addHandler(DocumentSelectionEvent.getType(), new DocumentSelectionHandler() {
@Override
public void onDocumentSelected(DocumentSelectionEvent event) {
<BUG>if(!event.getDocumentId().equals(currentDocumentId)) {

display.getCachedTableModel().setCurrentDocumentId(event.getDocumentId());
getDisplay().getPageNavigation().gotoPage(0, true);
</BUG>
}

}));
registerHandler(
eventBus.addHandler(DocumentSelectionEvent.getType(), new DocumentSelectionHandler() {
@Override
public void onDocumentSelected(DocumentSelectionEvent event) {
if(!event.getDocumentId().equals(documentId)) {
tableModel.setDocumentId(event.getDocumentId());
display.getPageNavigation().gotoPage(0, true);
