NEWS

--- a/NEWS	Sun Oct 02 15:35:56 2016 +0200
+++ b/NEWS	Sun Oct 02 17:05:48 2016 +0200
@@ -975,6 +975,10 @@
 multiprocessor systems. The "isabelle jedit" tool allows to override the
 implicit default via option -p.
 
+* The isabelle_java executable allows to run a Java process within the
+name space of Java and Scala components that are bundled with Isabelle,
+but without the Isabelle settings environment.
+
 
 
 New in Isabelle2016 (February 2016)