/**
  * Get the contour line miter style. Use associated <code>ContourLineAttribute</code> if it exists
  * and has miterStyleOverrideen set to <code>false</code>.
  */
 public int getMiterStyle() {
   if (attr_ != null && attr_.isMiterStyleOverridden()) {
     return attr_.getMiterStyle();
   } else {
     return super.getMiterStyle();
   }
 }