/**
  * Get the contour line width. Use associated <code>ContourLineAttribute</code> if it exists and
  * has widthOverrideen set to <code>false</code>.
  */
 public float getWidth() {
   if (attr_ != null && attr_.isWidthOverridden()) {
     return attr_.getWidth();
   } else {
     return super.getWidth();
   }
 }