Source position: webjsonrpc.pp line 73
published property TSessionJSONRPCDispatcher.Options : TJSONRPCDispatchOptions;