case JdwpReplyPacket.HCR_OPERATION_REFUSED:
throw new org.eclipse.jdi.hcr.OperationRefusedException();
case JdwpReplyPacket.VM_DEAD:
throw new VMDisconnectedException();
default:
throw new InternalException(
JDIMessages.MirrorImpl_Got_error_code_in_reply___1 + error,
error);
}
}