RFR: JDK-8312418: Add Elements.getEnumConstantBody [v5]

[Vicente Romero]

On Thu, 24 Aug 2023 20:08:49 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Trivial implementation to get feedback on the proposed API.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Refactor as suggested by jjg.

looks good to me

-------------

Marked as reviewed by vromero (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14939#pullrequestreview-1613578233