Integrated: 8228615: Optional.empty doc should suggest using isEmpty

[Stuart Marks]

On Thu, 3 Dec 2020 01:08:18 GMT, Stuart Marks <smarks at openjdk.org> wrote:

> Some small doc changes. The changes are to `@apiNote` text, which is non-normative, so no CSR is required.

This pull request has now been integrated.

Changeset: 2b73f992
Author:    Stuart Marks <smarks at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/2b73f992
Stats:     12 lines in 4 files changed: 0 ins; 0 del; 12 mod

8228615: Optional.empty doc should suggest using isEmpty

Reviewed-by: lancea, bpb, naoto

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

PR: https://git.openjdk.java.net/jdk/pull/1585