code: @Override
      public void rotate(double theta, double x, double y) {
          translate(x, y);
          rotate(theta);
          translate(-x, -y);
      }
docs: Applies a rotation (anti-clockwise) about {@code (x, y)}.
  
  @param theta  the rotation angle (in radians).
  @param x  the x-coordinate.
  @param y  the y-coordinate.