resymbolizedSymbol.setInnerText(sourceSymbol.getSymbolName());
resymbolizedSymbol.setHref("javascript:;");
bottomDiv.appendChild(resymbolizedSymbol);
listenerManager.manageEventListener(ClickEvent.addClickListener(
resymbolizedSymbol, resymbolizedSymbol, new ClickListener() {
public void onClick(ClickEvent event) {
sourcePresenter.showSource(sourceServer
+ sourceSymbol.getResourceUrl().getPath(),
sourceViewerServer, sourceSymbol.getLineNumber(), 0,
sourceSymbol.getAbsoluteFilePath());