Though I'm not aware of it being spec'd or somehow enforced, there is a naming convention buried within the diagnostic fields... the LSP4Jakarta ones all start with "jakarta" and the LSP4MP ones "microprofile".
It comes from the source code like:
org.eclipse.lsp4jakarta.jdt.internal.servlet.Constants.DIAGNOSTIC_SOURCE
Fixes #377
Though I'm not aware of it being spec'd or somehow enforced, there is a naming convention buried within the diagnostic fields... the LSP4Jakarta ones all start with "jakarta" and the LSP4MP ones "microprofile".
It comes from the source code like: org.eclipse.lsp4jakarta.jdt.internal.servlet.Constants.DIAGNOSTIC_SOURCE