diff --git a/developers.html b/developers.html
index 1ed61762aed0f2089753649d2eec573c59810199..5462918bf564a2e8044ac193b441eba3cb1ec3d0 100644
--- a/developers.html
+++ b/developers.html
@@ -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>.
+              <a href="https://jdk.java.net/12" target="_blank">OpenJDK Java Development Kit (JDK)</a>
               or
               <a href="http://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Java Development Kit (JDK)</a>.
               These installations also include the