--- a/tools/JavaSettingsApplication.st Tue Jan 29 15:15:51 2013 +0000 +++ b/tools/JavaSettingsApplication.st Tue Jan 29 16:18:09 2013 +0000 @@ -770,7 +770,7 @@ ! version_SVN - ^ '§Id:: §' + ^ 'Id:: ' ! !