tuned;

--- a/src/Pure/ML/ml_statistics.scala	Sat Jan 28 15:35:43 2023 +0100
+++ b/src/Pure/ML/ml_statistics.scala	Sat Jan 28 15:38:36 2023 +0100
@@ -285,7 +285,7 @@
     data.removeAllSeries()
     for (field <- selected_fields) {
       val series = new XYSeries(field)
-      content.foreach(entry => series.add(entry.time, entry.get(field)))
+      content.foreach(e => series.add(e.time, e.get(field)))
       data.addSeries(series)
     }
   }