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