Update Envelope.java