--- 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