--- a/src/Pure/build-jars Thu Mar 01 15:02:45 2018 +0100
+++ b/src/Pure/build-jars Thu Mar 01 20:05:41 2018 +0100
@@ -46,6 +46,7 @@
General/codepoint.scala
General/comment.scala
General/completion.scala
+ General/csv.scala
General/date.scala
General/exn.scala
General/file.scala