final ResourceAllocation_Type ra = this.req.getResourceAllocation();
if (ra == null) {
throw new ParameterProblem("(?) no ResourceAllocation_Type");
}
workspace.setRequestedResourceAllocation(new ResourceAllocation(ra));
// this is intentionally a separate object:
workspace.setCurrentResourceAllocation(new ResourceAllocation(ra));
boolean trash = false;
if (this.req.getShutdownMechanism() != null
&& this.req.getShutdownMechanism().equals(