diff -r 47bec02c6762 -r 2cb2310d68b6 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Jul 12 18:00:05 2011 +0200
+++ b/src/Pure/build-jars	Tue Jul 12 19:36:46 2011 +0200
@@ -20,6 +20,7 @@
   General/path.scala
   General/position.scala
   General/pretty.scala
+  General/properties.scala
   General/scan.scala
   General/sha1.scala
   General/symbol.scala