code: public void invalidateRegion (Rectangle rect)
      {
          if (isValidSize(rect.width, rect.height)) {
              addDirtyRegion((Rectangle)rect.clone());
          }
      }
docs: Invalidates the specified region (the supplied rectangle will be cloned as the region
  manager fiddles with the rectangles it uses internally).