Source position: webjsonrpc.pp line 72
published property TSessionJSONRPCDispatcher.OnEndBatch : TNotifyEvent;