When I install JBDS 4.0.0 Beta2 and then upgrade to CR2 using the CR2 update site, after restarting JBDS the version in the splash screen as well as in File -> About still says 4.0.0 Beta2.
I believe the version should be updated. Correct me if I'm wrong.