diff -r 7cc4b49be1ea -r 1b89608974e9 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Dec 20 08:46:38 2016 +0100
+++ b/src/Pure/build-jars	Tue Dec 20 08:53:26 2016 +0100
@@ -39,6 +39,7 @@
   GUI/wrap_panel.scala
   General/antiquote.scala
   General/bytes.scala
+  General/codepoint.scala
   General/completion.scala
   General/date.scala
   General/exn.scala