htmlOut.printRaw(curLine);
htmlOut.newline();
logger.log(TreeLogger.TRACE, "Assigning split point #" + sp
+ " in method " + location);
}
htmlOut.indentOut();
htmlOut.indentOut();
curLine = "</splitpoints>";
htmlOut.printRaw(curLine);
htmlOut.newline();
}