Added Nonnull definition to copy constructor.