ModelBuildPath modelPath = p.getModelBuildPath();
modelPath.add(dp.getVdmModelFolder());
modelPath.remove(prj);
modelPath.setOutput(dp.getOutputFolder());
modelPath.setLibrary(dp.getVdmModelFolder().getFolder("lib"));
modelPath.save();
p.getModel().clean();
prj.build(IncrementalProjectBuilder.FULL_BUILD, new NullProgressMonitor());
IProjectDescription d = prj.getDescription();