// compute the jmt filename
IFolder jmtContainer = ResourcesPlugin.getWorkspace().getRoot().getFolder(new Path(jmtModelContainerName));
IFile jmtFile = jmtContainer.getFile(new Path(jmtModelFileName));
JmtTranslationTask task;
try {
task = new JmtTranslationTask(project);
task.setUmlResource(umlResource);
task.setName(taskName);
task.setJmtFileName(jmtFile.getFullPath().toString());
Set<String> activityNames = new HashSet<String>();
for (Activity act : activities) {
activityNames.add(act.getQualifiedName());
}
task.setActivityNames(activityNames);
// now add and save the project
project.addResource(task);
saveTargetProject(projectFileName, project, monitor);
} catch (ResourceException e) {