Revision 352367

Removed batik, since it was not used, to reduce size.
Now the cents have always the same name, regardless of the version
(which is in the manifest) to enable easy uptodate check by the build.