--- a/src/Pure/build-jars Sun Nov 25 19:55:42 2012 +0100
+++ b/src/Pure/build-jars Sun Nov 25 20:17:04 2012 +0100
@@ -56,6 +56,7 @@
System/standard_system.scala
System/swing_thread.scala
System/system_channel.scala
+ System/utf8.scala
Thy/completion.scala
Thy/html.scala
Thy/thy_header.scala