OpenJDK jdk-13.0.2

developers.html

@@ -825,14 +825,14 @@ Note that the -d switch is necessary for domain users.
               which does not need to be installed separately.
           </li>
           <li>
-              OpenJDK <code style="color:darkgreen"><b>jdk-13.0.1</b></code>
+              OpenJDK <code style="color:darkgreen"><b>jdk-13.0.2</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-13.0.1</b></code>
+              <code style="color:darkgreen"><b>jdk-13.0.2</b></code>
               and
               <code style="color:darkgreen"><b>jdk1.8.0_221</b></code>
               are alternative Java versions used in current development.
@@ -850,9 +850,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-13.0.1</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-13.0.2</b></code>
               <br />
-              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-13.0.1</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-13.0.2</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 />
@@ -864,11 +864,12 @@ Note that the -d switch is necessary for domain users.
           		<ul>
           			<li>
               <pre>
-$<b> java -version</b> &nbsp;&nbsp; # OpenJDK 13.0.1
+$<b> java -version</b> &nbsp;&nbsp; # OpenJDK 13.0.2
+
+openjdk version "13.0.2" 2020-01-14
+OpenJDK Runtime Environment (build 13.0.2+8)
+OpenJDK 64-Bit Server VM (build 13.0.2+8, mixed mode, sharing)
 
-openjdk version "13.0.1" 2019-10-15
-OpenJDK Runtime Environment (build 13.0.1+9)
-OpenJDK 64-Bit Server VM (build 13.0.1+9, mixed mode, sharing)
 </pre>
           			</li>
           			<li>
@@ -2778,7 +2779,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 24 January 2020.
+            Revised 26 January 2020.
         </blockquote>
 
         <p>