
try
{</BUG>
eventBus.fireEvent(new DocumentSelectionEvent(docId));
<BUG>}
catch (Throwable t)
{
Log.info("got exception from document selection event", t);
}
Log.info("Fired document selection event for " + docId.getId());
}
if (token.hasView() && token.getView() != display.getCurrentView())</BUG>
{

private void processHistoryEvent(ValueChangeEvent<String> event)
{
Log.info("Responding to history token: " + event.getValue());
HistoryToken token = HistoryToken.fromTokenString(event.getValue());
DocumentId docId = documentListPresenter.getDocumentId(token.getDocumentPath());
if (docId != null && (selectedDocument == null || !selectedDocument.getId().equals(docId)))
{
Log.info("Firing document selection event for document " + docId.getId());
eventBus.fireEvent(new DocumentSelectionEvent(docId));
}
if (token.getView() != currentHistoryState.getView())
{
