release 4.2.0.Final to ide-config.properties >> master

these should just be 4.2