RFR: 8265137: java.util.Random suddenly has new public methods nowhere documented [v6]

[Jim Laskey]

> Move makeXXXSpilterator from public (@hidden) to protected. No API ch

Jim Laskey has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains eight additional commits since the last revision:

 - Merge branch 'master' into 8265137
 - Remove @hidden
 - Correct the hierarchy of Random
 - Remove extraneous references to makeXXXSpliterator
 - Move makeXXXSpliterator methods to RandomSupport
 - change static final from 'proxy' to 'PROXY'
 - Make makeXXXSpliterator final
 - Move makeXXXSpilterator from public (@hidden) to protected. No API change.

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3469/files
  - new: https://git.openjdk.java.net/jdk/pull/3469/files/d72575d5..3381f008

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3469&range=05
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3469&range=04-05

  Stats: 39799 lines in 1366 files changed: 8333 ins; 26676 del; 4790 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3469.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3469/head:pull/3469

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