For JBIDE 4.2.0.Final: Prepare for Final/GA release [Webservices]