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

these should go away.