--- a/src/Pure/build-jars Tue Apr 15 22:41:10 2014 +0200
+++ b/src/Pure/build-jars Wed Apr 16 09:38:40 2014 +0200
@@ -32,6 +32,7 @@
General/time.scala
General/timing.scala
General/url.scala
+ General/word.scala
General/xz_file.scala
GUI/color_value.scala
GUI/gui.scala