protected void paintText(Graphics g, MenuItemLayoutHelper lh,
                           MenuItemLayoutHelper.LayoutResult lr) {
    if (!lh.getText().isEmpty()) {
      if (lh.getHtmlView() != null) {
        // Text is HTML
        lh.getHtmlView().paint(g, lr.getTextRect());
      }
      else {
        // Text isn't HTML
        UISettings.setupAntialiasing(g);
        paintText(g, lh.getMenuItem(), lr.getTextRect(), lh.getText());
      }
    }
  }
protected void paintText(Graphics g, MenuItemLayoutHelper lh,
                           MenuItemLayoutHelper.LayoutResult lr)