if (sym.isRoot())
if (navigationContext == ROOT_NAV_CONTEXT)
    protected void addNavigationBar(Symbol sym) {	try {	    String overviewLink = Location.asSeenFrom(new URI(ROOT_PAGE), uri).toString();	    String indexLink = Location.asSeenFrom(new URI(INDEX_PAGE_NAME), uri).toString();	    String helpLink = Location.asSeenFrom(new URI(PAGE_HELP), uri).toString();	    	    page.printlnOTag("table", ATTRS_NAVIGATION).indent();	    page.printlnOTag("tr").indent();	    page.printlnOTag("td", ATTRS_NAVIGATION_LINKS).indent();	    page.printlnOTag("table").indent();	    page.printlnOTag("tr").indent();	    	    // overview link	    if (sym.isRoot())		page.printlnTag("td", ATTRS_NAVIGATION_SELECTED, "Overview");	    else {		page.printOTag("td", ATTRS_NAVIGATION_ENABLED);		page.printAhref(overviewLink, ROOT_FRAME_NAME, "Overview");		page.printlnCTag("td");	    	    }	    // index link	    if (sym == indexPage)		page.printlnTag("td", ATTRS_NAVIGATION_SELECTED, "Index");	    else {		page.printOTag("td", ATTRS_NAVIGATION_ENABLED);		page.printAhref(indexLink, ROOT_FRAME_NAME, "Index");		page.printlnCTag("td");	    }	    // help link	    if (sym == helpPage)		page.printlnTag("td", ATTRS_NAVIGATION_SELECTED, "Help");	    else {		page.printOTag("td", ATTRS_NAVIGATION_ENABLED);		page.printAhref(helpLink, ROOT_FRAME_NAME, "Help");		page.printlnCTag("td");	    }	    	    page.undent();	    page.printlnCTag("tr").undent();	    page.printlnCTag("table").undent();	    page.printlnCTag("td");	    	    // product & version	    page.printlnOTag("td", ATTRS_NAVIGATION_PRODUCT).indent();	    addDocumentationTitle(new XMLAttribute[]{		new XMLAttribute("class", "doctitle")});	    page.undent();	    page.printlnCTag("td").undent();	    	    page.printlnCTag("tr");	    	    page.printlnOTag("tr").indent();	    page.printlnTag("td", "&nbsp;").undent();	    page.printlnCTag("tr").undent();	    page.printlnCTag("table");	} catch(Exception e) { throw Debug.abort(e); }    }