Source position: webjsonrpc.pp line 80
published property TSessionJsonRpcDispatcher.Options : TJSONRPCDispatchOptions;