When hovering over a Microprofile ConfigProperty name attribute, an LSP Hover request should be sent to that the current value of the property should be displayed. It is not, probably because the LSP Hover mecanism is not invoked against the JDT source editor.
To be checked with mistria@redhat.com