public void Deserialise(Corba.DataInputStream stream) {
stream.read_octet(); // ignore format version: java RMI specific
stream.read_boolean(); // ignore default read object: java RMI specific
m_cause = (java.lang.Throwable)stream.read_ValueOfType(typeof(java.lang.Throwable));
m_msg = stream.read_WStringValue();
object boxedTrace = stream.read_Value();
if (boxedTrace != null) {
m_trace = (StackTraceElement[])((BoxedValueBase) boxedTrace).Unbox();
}
}