FormattingOptions [getProperties](https://github.com/eclipse-lsp4j/lsp4j/blob/7e7a1c43d4bd31de808ff8ffd8ba1c98fb71d2a5/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend#L4383) and [setProperties](https://github.com/eclipse-lsp4j/lsp4j/blob/7e7a1c43d4bd31de808ff8ffd8ba1c98fb71d2a5/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend#L4401) were deprecated in https://github.com/eclipse-lsp4j/lsp4j/issues/99
FormattingOptions getProperties and setProperties were deprecated in #99