src/Pure/build-jars

   System/gui_setup.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
+  System/main.scala
   System/platform.scala
   System/session.scala
   System/session_manager.scala
   System/standard_system.scala
   System/swing_thread.scala