private String buildToolTip(final CTaggedGraphNodesContainerNode node){
  final StringBuilder tooltip=new StringBuilder("<html>");
  boolean first=true;
  for (  final NaviNode graphnode : node.getGraphNodes()) {
    if (!first) {
      tooltip.append("<br>");
    }
    tooltip.append(CNodesDisplayString.getDisplayString(graphnode));
    first=false;
  }
  return tooltip + "</html>";
}

private String buildToolTip ( final CTaggedGraphNodesContainerNode node ) { final StringBuilder tooltip = new StringBuilder ( "<html>" ) ; boolean first = true ; for ( final NaviNode graphnode : node . getGraphNodes ( ) ) { if ( ! first ) { tooltip . append ( "<br>" ) ; } tooltip . append ( CNodesDisplayString . getDisplayString ( graphnode ) ) ; first = false ; } return tooltip + "</html>" ; }
generates the tooltip shown when the cursor hovers over a tag tree node that represents a container of graph nodes .
