@JsonDelegate public JavaProtocolExtensions getJavaExtensions() { return this; }
@JsonDelegate public Delegated getDelegate();
@JsonDelegate public BarDelegated getDelegate();
@JsonDelegate public OtherThing doDelegate();
/** * Provides access to the textDocument services. */ @JsonDelegate TextDocumentService getTextDocumentService();
/** * Provides access to the workspace services. */ @JsonDelegate WorkspaceService getWorkspaceService();