lsp4jakarta
lsp4jakarta copied to clipboard
Rename JDTServicesManager to PropertiesManagerForJava
see https://github.com/eclipse/lsp4jakarta/pull/392