docs: final protected FrameType modifyFrame(FrameType orig, @CheckForNull FrameType copy) {
          if (copy == null) {
              copy = createFact();
              copy.copyFrom(orig);
          }
          return copy;
      }