RFR: 8255758: JEP 380 spec clarifications [v2]

[Michael McMahon]

> Minor spec changes from spec approved in initial CSR

Michael McMahon 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 five additional commits since the last revision:

 - spec update after Alan's comments
 - Merge branch 'master' into 8255758-spec-change
 - net-properties.html change only. src apidoc change to come
 - update to net-properties.html
 - 8255758: JEP 380 spec clarifications

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/1021/files
  - new: https://git.openjdk.java.net/jdk/pull/1021/files/e17e78b4..52c12762

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=1021&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=1021&range=00-01

  Stats: 118240 lines in 1590 files changed: 64315 ins; 42007 del; 11918 mod
  Patch: https://git.openjdk.java.net/jdk/pull/1021.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/1021/head:pull/1021

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