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

why not just call this 4.2.1 if you really want it in here ?