envelope property

Envelope envelope
getter/setter pair

Implementation

Envelope envelope;