public void drawBoxText(Node n, BoxTextElemStyle bs) {
if (!isShowNames() || bs == null)
return;
Point p = nc.getPoint(n);
TextElement text = bs.text;
String s = text.labelCompositionStrategy.compose(n);
if (s == null) return;
Font defaultFont = g.getFont();
g.setFont(text.font);