public void Serialise(Corba.DataOutputStream stream) {
        stream.write_octet(1);
        stream.write_boolean(true);

        stream.write_ValueOfActualType(m_cause);
        stream.write_WStringValue(m_msg);

        stream.write_boxed(m_trace, new BoxedValueAttribute("RMI:[Ljava.lang.StackTraceElement;:CD38F9930EA8AAEC:6109C59A2636DD85"));
    }