/**
  * Returns the colors for brighter parts of each side for a particular decoration style
  *
  * @param style
  * @return Returns
  */
 public BorderPropertySet darken(IdentValue style) {
   BorderPropertySet bc = new BorderPropertySet(this);
   bc._topColor = _topColor == null ? null : _topColor.darkenColor();
   bc._bottomColor = _bottomColor == null ? null : _bottomColor.darkenColor();
   bc._leftColor = _leftColor == null ? null : _leftColor.darkenColor();
   bc._rightColor = _rightColor == null ? null : _rightColor.darkenColor();
   return bc;
 }
 public void setColor(FSColor color) {
   if (color instanceof FSRGBColor) {
     FSRGBColor rgb = (FSRGBColor) color;
     setColor(new java.awt.Color(rgb.getRed(), rgb.getGreen(), rgb.getBlue()));
   } else {
     throw new RuntimeException(
         "internal error: unsupported color class " + color.getClass().getName());
   }
 }