if (thr instanceof SystemException)
throw (SystemException)thr ;
else if ((thr instanceof Exception) &&
dmm.isDeclaredException( thr )) {
OutputStream os = (OutputStream)reply.createExceptionReply() ;
dmm.writeException( os, (Exception)thr ) ;
return os ;
} else
throw new UnknownException( thr ) ;
}
}