http -> https, openjdk top level (v12 now superceded)

developers.html

@@ -674,7 +674,7 @@ Note that the -d switch is necessary for domain users.
           <li>
               <a href="https://www.npsfoundation.org">Naval Postgraduate School Foundation (NPS)</a>
               is the non-profit organization that supports
-              NPS
+              NPS.
           </li>
           <li>
               <a href="http://web3d.org/donate">Web3D Consortium</a>
@@ -810,7 +810,7 @@ Note that the -d switch is necessary for domain users.
       <ul>
           <li>
               Download and install the latest
-              <a href="https://jdk.java.net/12" target="_blank">OpenJDK Java Development Kit (JDK)</a>https://ant.apache.org/
+              <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>.
               These installations also include the
@@ -2743,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 18 August 2019.
+            Revised 2 October 2019.
         </blockquote>
 
         <p>