--- a/JavaVM.st Thu Sep 05 22:08:59 2013 +0100 +++ b/JavaVM.st Fri Sep 06 00:16:38 2013 +0100 @@ -6722,7 +6722,7 @@ ! version_CVS - ^ '$Header: /cvs/stx/stx/libjava/JavaVM.st,v 1.190 2013-05-07 13:42:51 stefan Exp $' + ^ '$Header$' ! version_SVN