diff -r 0dd54d6c974a -r f627ffab387b src/Pure/build-jars
--- a/src/Pure/build-jars	Wed Jun 30 16:53:33 2021 +0200
+++ b/src/Pure/build-jars	Wed Jun 30 20:57:38 2021 +0200
@@ -136,7 +136,6 @@
   src/Pure/System/executable.scala
   src/Pure/System/getopts.scala
   src/Pure/System/isabelle_charset.scala
-  src/Pure/System/isabelle_env.scala
   src/Pure/System/isabelle_fonts.scala
   src/Pure/System/isabelle_platform.scala
   src/Pure/System/isabelle_process.scala