This change has just been merged. Subsequent changes will happen of
4.41.0.CR2-SNAPSHOT target-platform.
Cf
https://issues.jboss.org/issues/?jql=project%20in%20%28JBIDE%2CJBDS%29%20and%20component%3Dtarget-platform%20and%20fixVersion%20in%20%284.2.0.CR2%2C8.0.0.CR2%29