diff -r 4bf8a8a2d2ad -r 13976f92a2d0 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Sep 10 21:07:58 2020 +0200
+++ b/src/Pure/build-jars	Thu Sep 10 21:14:50 2020 +0200
@@ -126,6 +126,7 @@
   src/Pure/System/isabelle_process.scala
   src/Pure/System/isabelle_system.scala
   src/Pure/System/isabelle_tool.scala
+  src/Pure/System/java_statistics.scala
   src/Pure/System/linux.scala
   src/Pure/System/numa.scala
   src/Pure/System/options.scala