From f3af1efe0eb590b310d8990764dc970148100aa9 Mon Sep 17 00:00:00 2001
From: Don Brutzman <brutzman@nps.edu>
Date: Sun, 22 Mar 2020 22:43:20 -0700
Subject: [PATCH] Summaries of Java language feature improvements

---
 developers.html | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/developers.html b/developers.html
index 10c1b84957..d456b9dc74 100644
--- a/developers.html
+++ b/developers.html
@@ -852,7 +852,7 @@ Note that the -d switch is necessary for domain users.
               OpenJDK <code style="color:darkgreen"><b>jdk-14</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>.
+              <a href="https://openjdk.java.net/legal/gplv2+ce.html" target="_blank">non-viral open-source license</a>.
           </li>
           <li>
               Oracle &nbsp;&nbsp; &nbsp;
@@ -915,6 +915,15 @@ Java HotSpot(TM) 64-Bit Server VM (build 25.221-b11, mixed mode)
           			</li>
           		</ul>
           </li>
+          <li>
+              Summaries of Java language feature improvements:
+              <a href="https://openjdk.java.net/projects/jdk/14" target="_blank">JDK&nbsp;14</a>,
+              <a href="https://openjdk.java.net/projects/jdk/13" target="_blank">JDK&nbsp;13</a>,
+              <a href="https://openjdk.java.net/projects/jdk/12" target="_blank">JDK&nbsp;12</a>,
+              <a href="https://openjdk.java.net/projects/jdk/11" target="_blank">JDK&nbsp;11</a>,
+              <a href="https://openjdk.java.net/projects/jdk/10" target="_blank">JDK&nbsp;10</a> and
+              <a href="https://openjdk.java.net/projects/jdk9" target="_blank">JDK&nbsp;9</a>.
+          </li>
           <li>
               <a href="https://docs.oracle.com/en/java/javase/14" target="_blank">Java 14 Documentation</a>
               is useful.
-- 
GitLab