actors = destinationState.getRefinement();
if (actors != null) {
for (int i = 0; i < actors.length; ++i) {
ActorCodeGenerator helper = (ActorCodeGenerator) _getHelper((NamedObj) actors[i]);
codeBuffer.append(helper.generateInitializeCode());
}
}
}
// Generate code for updating configuration number of