Managing the IDE Version Exposed to Users