result.set(((DistributedWorkManager) wm).isDoWorkDistributionEnabled()); break;
result.set(((DistributedWorkManager) wm).isDoWorkDistributionEnabled()); break;
result.set(((DistributedWorkManager) wm).isDoWorkDistributionEnabled()); break;
result.set(((DistributedWorkManager) wm).isDoWorkDistributionEnabled()); break;