}
protected void processSystemException(ReplyHeader_1_2 reply)
{
exceptionType = "???";
SystemExceptionReplyBody replyBody = SystemExceptionReplyBodyHelper.read(results);
String id = replyBody.exception_id;
id = StringUtil.removePrefix(id, "IDL:CORBA/"); // ancient servers might send this!
id = StringUtil.removePrefix(id, "IDL:omg.org/CORBA/");
id = StringUtil.removeSuffix(id, ":1.0");
String causedBy = null;