Fix version number for Eclipse plugins.