try{
    monitor.beginTask("",5);
    currentRodinProject = createRodinProject(projectName  + PREFIX);
    monitor.worked(1);

    IRodinProject rodinProjectSource = getRodinProject(projectName);
    monitor.worked(1);
    IRodinFile rodinFileSource = rodinProjectSource.getRodinFile(machineName);
    monitor.worked(1);

    rodinFileSource.copy(currentRodinProject, null, machineName + PREFIX + ".bum", false, monitor);
    currentRodinProject.save(monitor, true);

}
finally{
    monitor.done();
}