* @param navigator The Navigator to explicitly add to the JHelp.
*/
public void addHelpNavigator(JHelpNavigator navigator) {
debug("addHelpNavigator("+navigator+")");
navigators.addElement(navigator);
HelpUI help = getUI();
help.addNavigator(navigator);
// force a common model
navigator.setModel(getModel());
}