change Eclipse plugin version from 1.7.1 to 1.7.2 and edit the 'included in this version' section of sts.html