Copy edits, terminology fixes, and factual corrections to the README and the introduction

[mbreinhold]

• Change “OpenJDK community” to “OpenJDK Community”
• Omit needless words
• s/like/such as/g
• Fix various typos and grammatical errors
• Tone down “contains the defacto standard” to “suggests”
• The OpenJDK Community was launched in November 2006, not May 2007

---

Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed

Reviewers

• Jesper Wilhelmsson (jwilhelm - Reviewer) ⚠️ Review applies to 0a3f8b2

Download

$ git fetch https://git.openjdk.java.net/guide pull/18/head:pull/18
$ git checkout pull/18

[bridgekeeper]

👋 Welcome back mr! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request.

[mlbridge]

Webrevs

• 01: Full - Incremental (be87009)
• 00: Full (0a3f8b2)

[JesperIRL]

Thank you for these changes! Just a minor typo to fix before pushing.

[JesperIRL]

"thata" -> "that" ?

[openjdk]

@mbreinhold This change now passes all automated pre-integration checks, type /integrate in a new comment to proceed. After integration, the commit message will be:

Copy edits, terminology fixes, and factual corrections to the README and the introduction

Reviewed-by: jwilhelm

• If you would like to add a summary, use the /summary command.
• To credit additional contributors, use the /contributor command.
• To add additional solved issues, use the /issue command.

There are currently no new commits on the master branch since the last update of the source branch of this PR. If another commit should be pushed before you perform the /integrate command, your PR will be automatically rebased. If you would like to avoid potential automatic rebasing, specify the current head hash when integrating, like this: /integrate 4a81d9f90aafe665150d6550980d34d3255b7e28.

➡️ To integrate this PR with the above commit message to the master branch, type /integrate in a new comment.

[mbreinhold]

2020/6/18 21:03:01 -0700, notifications@github.com:

@JesperIRL approved this pull request. Thank you for these changes! Just a minor typo to fix before pushing. > what this guide has to offer. Still, the Developers' Guide should work as a source of knowledge also -for experienced contributors. This means that any descriptions in the Guide should be self-contained -or have explicit references to any information the reader is expected to already know. The information -should also be structured in such a way that it's easy to find details for any process, so that -one who already knows the big picture can quickly find that particular detail that was forgotten. +for experienced contributors. Any descriptions in the Guide should thus be self-contained +or have explicit references to any information thata the reader is expected to already know. The information "thata" -> "that" ?

Thanks -- will fix. - Mark

[mbreinhold]

/summary

• Change “OpenJDK community” to “OpenJDK Community”
• Omit needless words
• s/like/such as/g
• Fix various typos and grammatical errors
• Tone down “contains the defacto standard” to “suggests”
• The OpenJDK Community was launched in November 2006, not May 2007

[openjdk]

@mbreinhold To set a summary, use the syntax /summary <summary text>

[mbreinhold]

/integrate

[openjdk]

@mbreinhold
Pushed as commit f192a32.