public void writeTimerReport(XMLWriter writer){
  writer.writeOpenTag("report");
  writer.writeOpenTag("property",new Attribute.Default<String>("name","timer"));
  writer.writeIDref("mcmc","mcmc");
  writer.writeCloseTag("property");
  writer.writeCloseTag("report");
}

public void writeTimerReport ( XMLWriter writer ) { writer . writeOpenTag ( "report" ) ; writer . writeOpenTag ( "property" , new Attribute . Default < String > ( "name" , "timer" ) ) ; writer . writeIDref ( "mcmc" , "mcmc" ) ; writer . writeCloseTag ( "property" ) ; writer . writeCloseTag ( "report" ) ; }
write the timer report block .
