docs: public void paintValue(Graphics gfx, Rectangle box) {
      FontMetrics 	fm;
      int 					vpad;
      String 				val;
  
      fm   = gfx.getFontMetrics();
      vpad = (box.height - fm.getHeight()) / 2 ;
      val  = ((ClassOption) getValue()).getValueAsCLIString();
      gfx.drawString(val, 2, fm.getHeight() + vpad);
    }