JBIDE-18645 - For JBIDE 4.2.0.Final: Prepare for Final/GA release