diff -r 83f012ce2567 -r bad5de3f9554 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Dec 20 22:32:04 2016 +0100
+++ b/src/Pure/build-jars	Wed Dec 21 11:21:46 2016 +0100
@@ -70,6 +70,7 @@
   General/timing.scala
   General/untyped.scala
   General/url.scala
+  General/utf8.scala
   General/value.scala
   General/word.scala
   General/xz.scala
@@ -118,7 +119,6 @@
   System/process_result.scala
   System/progress.scala
   System/system_channel.scala
-  System/utf8.scala
   Thy/html.scala
   Thy/present.scala
   Thy/sessions.scala