Developers warning: JRE path insertion

developers.html

@@ -868,7 +868,8 @@ Note that the -d switch is necessary for domain users.
           <li>
               Verify that the
               system environment variables
-              are set appropriately.  For example, one value for <code>JAVA_HOME</code> such as
+              are set appropriately.  
+              For example, one value for <code>JAVA_HOME</code> such as
               <!--
               <br />
               <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.7.0_55</b></code>
@@ -876,17 +877,22 @@ 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-16</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-16</b></code> &nbsp;&nbsp;&nbsp; # OpenJDK 
               <br />
-              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-14</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-14</b></code> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # Oracle JDK
               <br />
-              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.8.0_221</b></code>
+              &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.8.0_221</b></code> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # Oracle JDK
               <br />
               and (usually inserted at the beginning of an existing PATH, if it already exists)
               <br />
               &nbsp;&nbsp;&nbsp;&nbsp; <code style="color:darkgreen"><b>PATH=.;%JAVA_HOME%\bin;%ANT_HOME%\bin;</b></code>
           </li>
-          <li>Test what version of Java is actually installed and configured for your operating system via console command line.  Examples:
+          <li>
+              <span style="color:darkorange"><b>Developers warning:</b></span> ensure that external or automatic installation of Java JRE does not prepend a different Java PATH value,
+              effectively overriding the intended developmental JDK of interest.
+          </li>
+          <li>
+              Test what version of Java is actually installed and configured for your operating system via console command line.  Examples:
           		<ul>
           			<li>
               <pre>