JBIDE-18806 seems like the expected behaviour (8.0.1.CR1 falls back to 8.0.0) is not working, so try workaround using explicit definition for 8.0.1.CR1 >> master

you could just call this 4.2.1 and all 4.2.1 based versions will pick up current dev settings.

Have 4.2 have the supported/final settings.

That should give the least need to update settings constantly I would think.