NEWS

--- a/NEWS	Mon Mar 26 11:15:41 2012 +0200
+++ b/NEWS	Sat Mar 24 20:24:16 2012 +0100
@@ -45,6 +45,10 @@
 header -- minor INCOMPATIBILITY for user-defined commands.  Allow new
 commands to be used in the same theory where defined.
 
+* ISABELLE_JDK_HOME settings variable points to JDK with javac and jar
+(not just JRE), derived from JAVA_HOME from the shell environment or
+java.home of the running JVM.
+
 
 *** Pure ***