(Mickael, Max: this step MUST be part of the target
platform release document to avoid unnecessarily broken builds.)
It's already step #1 in the "after the release" part.
Also, ideally, we'll release target-platforms a few days before we
branch components/jobs, and update Jenkins job and parent pom as
part of their "SNAPSHOT" cycle to reduce the amount of things to
change after branch is done.