Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

docs/developer/developer-manual.html

@@ -518,9 +518,9 @@ <h2 id="Making_a_Checker_Framework_release">Making a Checker Framework release</
 
 <p>
 See a separate document about the Checker Framework release process:
+<a href="https://htmlpreview.github.io/?https://github.com/typetools/checker-framework/master/docs/developer/release/README-release-process.html">web version (from previous release)</a> or
 <!-- This relative URL works from a clone, but not from the web. -->
-<a href="release/README-release-process.html">local version (link works from a clone)</a> or
-<a href="https://htmlpreview.github.io/?https://github.com/typetools/checker-framework/master/docs/developer/release/README-release-process.html">web version (from previous release)</a>.
+<a href="release/README-release-process.html">local version (link works from a clone)</a>.
 </p>
 
 

docs/developer/release/README-release-process.html

@@ -276,8 +276,8 @@ <h2 id="snapshot_release">Snapshot release</h2>
   <p>To release the Maven artifacts to the Maven Central <b>snapshot</b> repository:</p>
   <ol>
     <li>
-      Ensure that <code>~/.gradle/gradle.properties</code> includes your <code>SONATYPE_NEXUS_USERNAME</code>
-      and <code>SONATYPE_NEXUS_PASSWORD</code>.
+      Ensure that <code>~/.gradle/gradle.properties</code> includes your user token in <code>SONATYPE_NEXUS_USERNAME</code>
+      and your user token key in <code>SONATYPE_NEXUS_PASSWORD</code>.
     </li>
     <li>
       Ensure that the version number in <code>checker-framework/build.gradle</code> (in <code>allprojects { version ... }</code>) ends in <code>-SNAPSHOT</code>.
@@ -375,13 +375,13 @@ <h2 id="pre_release_checklist">Pre-release Checklist</h2>
     </tr>
     <tr>
       <td>4.</td>
-      <td><strong>Add your account information to gradle/build.properties in your home directory.</strong><br/>
+      <td><strong>Add your user token information to gradle/build.properties in your home directory.</strong><br/>
+        Follow the <a href="https://central.sonatype.org/publish/generate-token/">instructions</a> to generate a user token.
         Create a <code>~/.gradle/gradle.properties</code> file with the following:
         <pre>
-SONATYPE_NEXUS_USERNAME=your_user_name
-SONATYPE_NEXUS_PASSWORD=your_password</pre>
-        using the information you just created for your Sonatype Account on tern or other
-        network host.  Since the file contains your password, make it non-readable:  <code>chmod og-rw ~/.gradle/gradle.properties</code>
+SONATYPE_NEXUS_USERNAME=your_tokenuser
+SONATYPE_NEXUS_PASSWORD=your_tokenkey</pre>
+ Since the file contains your password, make it non-readable:  <code>chmod og-rw ~/.gradle/gradle.properties</code>
       </td>
     </tr>
     <tr>