204205206207208209210211212213
// This is not a user thrown exception from the // method call, so don't copy it. This is either // an error or a reflective invoke exception. throw Util.wrapException( thr ) ; } finally { delegate.servant_postinvoke( stub, so); } } } }