jdk

873f8a69 - 8305406: Add @spec tags in java.base/java.* (part 2)

8305406: Add @spec tags in java.base/java.* (part 2) Co-authored-by: Daniel Jeliński <djelinski@openjdk.org> Co-authored-by: Hannes Wallnöfer <hannesw@openjdk.org> Reviewed-by: valeriep