src/Pure/build-jars

   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/isabelle_tool.scala
+  System/numa.scala
   System/options.scala
   System/platform.scala
   System/posix_interrupt.scala
   System/process_result.scala
   System/progress.scala