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