git: openjdk/jdk: 8159527: Collections mutator methods should all be marked as optional operations

[Stuart Marks]

Changeset: b2add96c
Author:    Stuart Marks <smarks at openjdk.org>
Date:      2023-08-04 19:27:56 +0000
URL:       https://git.openjdk.org/jdk/commit/b2add96c353f15b91524e10207e49841298bed01

8159527: Collections mutator methods should all be marked as optional operations

Reviewed-by: naoto, bpb

! src/java.base/share/classes/java/util/Collection.java
! src/java.base/share/classes/java/util/List.java
! src/java.base/share/classes/java/util/Map.java
! src/java.base/share/classes/java/util/NavigableMap.java
! src/java.base/share/classes/java/util/NavigableSet.java