RFR: 8257589: HotSpot Style Guide should link to rfc7282 [v2]

[Kim Barrett]

> Please review this change to the link for the definition of "rough consensus".
> The current link is to a Wikipedia article that references rfc7282.  We should
> instead link directly the the RFC.  This change was requested during the
> review of JDK-8247976, but not made at that time. (I'm not sure whether it was
> intentionally deferred or missed/forgotten.)
> 
> As this is a HotSpot Style Guide change, it requires reviewers who are HotSpot
> Group Members, though comments from others are welcome.

Kim Barrett 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 three additional commits since the last revision:

 - Merge branch 'master' into rough_consensus_defn
 - update html
 - update rough consensus link

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/7693/files
  - new: https://git.openjdk.java.net/jdk/pull/7693/files/8ba75e76..828a0dcc

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

  Stats: 2493 lines in 63 files changed: 2009 ins; 180 del; 304 mod
  Patch: https://git.openjdk.java.net/jdk/pull/7693.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/7693/head:pull/7693

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