diff --git a/developers.html b/developers.html index 98ebffea8f82d670f949892d35fab182f59b988a..e65b03c877822be08fc09f44a8045a777e406878 100644 --- a/developers.html +++ b/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 /> - <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-16</b></code> + <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\openjdk\jdk-16</b></code> # OpenJDK <br /> - <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-14</b></code> + <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk-14</b></code> # Oracle JDK <br /> - <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.8.0_221</b></code> + <code style="color:darkgreen"><b>JAVA_HOME=C:\Program Files\Java\jdk1.8.0_221</b></code> # Oracle JDK <br /> and (usually inserted at the beginning of an existing PATH, if it already exists) <br /> <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>