diff -r c7a4b03727ae -r ac96fe9224f6 NEWS
--- a/NEWS	Sat Oct 01 23:05:25 2016 +0200
+++ b/NEWS	Sun Oct 02 12:29:18 2016 +0200
@@ -972,11 +972,8 @@
 
 * System option "ML_process_policy" specifies an optional command prefix
 for the underlying ML process, e.g. to control CPU affinity on
-multiprocessor systems.
-
-* The "isabelle jedit" tool provides options -P and -p to specify an
-optional command prefix for the Java and ML process, respectively (see
-also option "ML_process_policy").
+multiprocessor systems. The "isabelle jedit" tool allows to override the
+implicit default via option -p.