return tb;
}
protected final void build() {
help = new JosmEditorPane();
JosmHTMLEditorKit kit = new JosmHTMLEditorKit();
kit.setStyleSheet(buildStyleSheet());
help.setEditorKit(kit);
help.setEditable(false);
help.addHyperlinkListener(new HyperlinkHandler());
help.setContentType("text/html");
history = new HelpBrowserHistory(this);