}
if (globalDopChange) {
c.adjustGlobalPropertiesForFullParallelismChange();
} else if (localDopChange) {
c.adjustGlobalPropertiesForLocalParallelismChange();
}
// check whether we meet any of the accepted properties
for (RequestedGlobalProperties rgps: allValidGlobals) {
if (rgps.isMetBy(c.getGlobalProperties())) {