/** Helper method that copies all attributes from a workspace description object to another. */
 private static void copyFromTo(WorkspaceDescription source, WorkspaceDescription target) {
   target.setAutoBuilding(source.isAutoBuilding());
   target.setBuildOrder(source.getBuildOrder());
   target.setMaxBuildIterations(source.getMaxBuildIterations());
   target.setApplyFileStatePolicy(source.isApplyFileStatePolicy());
   target.setFileStateLongevity(source.getFileStateLongevity());
   target.setMaxFileStates(source.getMaxFileStates());
   target.setMaxFileStateSize(source.getMaxFileStateSize());
   target.setSnapshotInterval(source.getSnapshotInterval());
   target.setOperationsPerSnapshot(source.getOperationsPerSnapshot());
   target.setDeltaExpiration(source.getDeltaExpiration());
 }