}
public void writePrxFile(String templateFileName) throws IOException, CoreException{
FileReader reader = new FileReader(templateFileName);
StringTemplateGroup templates = new StringTemplateGroup(reader);
StringTemplate prxTemplate = templates.lookupTemplate("prxFile");
prxTemplate.setAttribute("plan", this);
String output = prxTemplate.toString();
if (this.document != null && this.provider != null){
this.document.set(output);
this.provider.saveDocument(new NullProgressMonitor(), this.file, this.document, true);