--- a/tools/JavaSourceDocument.st	Thu Sep 05 22:08:59 2013 +0100
+++ b/tools/JavaSourceDocument.st	Fri Sep 06 00:16:38 2013 +0100
@@ -144,6 +144,10 @@
 
 !JavaSourceDocument class methodsFor:'documentation'!
 
+version_CVS
+    ^ '$Header$'
+!
+
 version_HG
 
     ^ '$Changeset: <not expanded> $'