Probably jump a week as well to 4-7 july. Otherwise the festival would happen completely in June, which is usually not the case (except 2015 to get Foo Fighters)
Edit: well, and apparently 2019 as well as Archi pointed out. Still, I think a lot of festivals will jump to one week later next year (Graspop, Pinkpop,... already announced)