diff -r bfa38c2e751f -r 6cd36a0d2a28 src/Pure/build-jars
--- a/src/Pure/build-jars	Wed Mar 09 21:01:22 2016 +0100
+++ b/src/Pure/build-jars	Thu Mar 10 09:50:53 2016 +0100
@@ -9,7 +9,6 @@
 ## sources
 
 declare -a SOURCES=(
-  Concurrent/bash.scala
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala
   Concurrent/event_timer.scala
@@ -74,6 +73,7 @@
   PIDE/xml.scala
   PIDE/yxml.scala
   ROOT.scala
+  System/bash.scala
   System/command_line.scala
   System/cygwin.scala
   System/getopts.scala