diff -r 71378e7d148e -r 4bf8a8a2d2ad NEWS
--- a/NEWS	Thu Sep 10 16:04:12 2020 +0200
+++ b/NEWS	Thu Sep 10 21:07:58 2020 +0200
@@ -16,9 +16,8 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
-* The jEdit status line includes a widget for Isabelle/ML heap usage,
-including an indication for ongoing garbage collection (as "ML
-cleanup").
+* The jEdit status line includes widgets both for JVM and ML heap usage.
+Ongoing ML ongoing garbage collection is shown as "ML cleanup".
 
 * The Monitor dockable provides buttons to request a full garbage
 collection and sharing of live data on the ML heap. It also includes