release 4.2.0.Final to ide-config.properties