--- a/src/Pure/build-jars Fri Feb 26 22:44:11 2016 +0100
+++ b/src/Pure/build-jars Sat Feb 27 16:19:02 2016 +0100
@@ -75,6 +75,7 @@
ROOT.scala
System/command_line.scala
System/cygwin.scala
+ System/getopts.scala
System/invoke_scala.scala
System/isabelle_charset.scala
System/isabelle_process.scala