diff --git a/developers.html b/developers.html
index 79ebeeab9c4e00d72c5f81dedf30176d1a1f6ba6..11d033b26d3e552b49a28cb89a7d9333413aea74 100644
--- a/developers.html
+++ b/developers.html
@@ -809,23 +809,23 @@ Note that the -d switch is necessary for domain users.
 
       <ul>
           <li>
-              Download and install the latest
+              Download and install the latest open-source
               <a href="https://jdk.java.net" target="_blank">OpenJDK Java Development Kit (JDK)</a>
-              or
-              <a href="https://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Java Development Kit (JDK)</a>.
+              or commercial-license
+              <a href="https://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Oracle Java Development Kit (JDK)</a>.
               These installations also include the
               Java Runtime Environment (JRE),
               which does not need to be installed separately.
           </li>
           <li>
-              OpenJDK <code style="color:darkgreen"><b>jdk-12.0.2</b></code>
+              OpenJDK <code style="color:darkgreen"><b>jdk-13</b></code>
               is default Java version for Savage projects, used
               under a
 		          <a href="https://openjdk.java.net/legal/gplv2+ce.html" target="_blank">non-viral open-source license</a>.
           </li>
           <li>
               Oracle &nbsp;&nbsp; &nbsp;
-              <code style="color:darkgreen"><b>jdk-12.0.2</b></code>
+              <code style="color:darkgreen"><b>jdk-13</b></code>
               and
               <code style="color:darkgreen"><b>jdk1.8.0_221</b></code>
               are alternative Java versions used in current development.
@@ -843,9 +843,9 @@ Note that the -d switch is necessary for domain users.
               or
               -->
               <br />
-              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-12.0.2</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-13</b></code>
               <br />
-              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-12.0.2</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-13</b></code>
               <br />
               &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.8.0_221</b></code>
               <br />
@@ -885,15 +885,13 @@ Java HotSpot(TM) 64-Bit Server VM (build 25.221-b11, mixed mode)
           		</ul>
           </li>
           <li>
-              <!--
-              <a href="https://docs.oracle.com/javase/6/docs/api">Java 6 Javadoc</a>
-              <a href="https://docs.oracle.com/javase/7/docs/api">Java 7 Javadoc</a>
-              or
-              -->
-              <a href="https://docs.oracle.com/en/java/javase/12/" target="_blank">Java 12 Javadoc</a>
-              and
+              <a href="https://docs.oracle.com/en/java/javase/13" target="_blank">Java 13 Documentation</a>
+              is useful.
               <a href="https://docs.oracle.com/javase/8/docs/api" target="_blank">Java 8 Javadoc</a>
-              are available on the
+              is online.
+          </li>
+          <li>
+              Javadoc downloads for local use are available on the
               <a href="https://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Java downloads</a> page.
               Extract the <code style="color:darkgreen"><b>docs</b></code> directory tree provided by the .zip
               into the directory containing the corresponding version of Java.
@@ -2745,7 +2743,7 @@ which can lead to the Internet of Things becoming the Web of Things. </i>
             <a href="https://savage.nps.edu/developers.html">https://savage.nps.edu/developers.html</a>
         </blockquote>
         <blockquote>
-            Revised 2 October 2019.
+            Revised 12 October 2019.
         </blockquote>
 
         <p>