Найдена версия, которая делает всех (почти) счастливыми (Maven, InteliJ IDEA, Eclipse):
management.endpoint.health.show-details=WHEN_AUTHORIZED
Реализация Spring Boot определяет это следующим образом, и с помощью этой формы почти все счастливы.
Eclipse IDE *, если вы наберете "W", автозаполнение будет следовать за заглавными буквами * и при наведении указателя мыши, и при навигации по коду
InteliJ IDEA * автозаполнение никогда не предложит заглавная версия (но она не будет отображать ошибку при ее использовании) * и всплывающая документация, и навигация по коду работают
и Maven это не волнует, поскольку Spring Boot использует здесь правила упрощенного связывания.