<a title="improve javadoc" href="https://github.com/eclipse/microprofile-config/pull/691">PR #691</a>: improve javadoc