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