src/Pure/build-jars

   Admin/build_polyml.scala
   Admin/build_release.scala
   Admin/build_status.scala
   Admin/check_sources.scala
   Admin/ci_profile.scala
+  Admin/components.scala
   Admin/isabelle_cronjob.scala
   Admin/isabelle_devel.scala
   Admin/jenkins.scala
   Admin/other_isabelle.scala
   Concurrent/consumer_thread.scala

   PIDE/xml.scala
   PIDE/yxml.scala
   ROOT.scala
   System/bash.scala
   System/command_line.scala
-  System/components.scala
   System/cygwin.scala
   System/distribution.scala
   System/getopts.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala