Also in the tracker when reporting a bug (in the JDT) one sees 4.2.1 highlighted - that's what got me worried initially - I checked my JDT version and saw 3.8.1 and that got me in doubts
Actually there should be a page somewhere detailing the packages version for core eclipse - or is there ?