RFR: Optional refactoring

Mon Mar 27 11:31:59 UTC 2023

On Mon, 27 Mar 2023 10:23:33 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> But, this highlights another issue: changing to `j.l.Optional` changes the public interface `Options`. This is the API-breaking change, AFAICS.

I hadn't considered that, my bad.

> Is there a benefit, apart from what you already identified ("People might be more familiar with `j.l.Optional`")?

No, I don't know of other benefits.

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

PR Comment: https://git.openjdk.org/jmh/pull/98#issuecomment-1484978165