diff -r ea9f12e422c7 -r d9744f41a4ec NEWS
--- a/NEWS	Sun Apr 03 23:28:48 2016 +0200
+++ b/NEWS	Sun Apr 03 23:56:52 2016 +0200
@@ -259,6 +259,12 @@
 
 *** System ***
 
+* Many Isabelle tools that require a Java runtime system refer to the
+settings ISABELLE_TOOL_JAVA_OPTIONS32 / ISABELLE_TOOL_JAVA_OPTIONS64,
+depending on the underlying platform. The settings for "isabelle build"
+ISABELLE_BUILD_JAVA_OPTIONS32 / ISABELLE_BUILD_JAVA_OPTIONS64 have been
+discontinued. Potential INCOMPATIBILITY.
+
 * The Isabelle system environment always ensures that the main
 executables are found within the shell search $PATH: "isabelle" and
 "isabelle_scala_script".