Map<Integer, String> splitPointMap = splitPointNames(jprogram);
if (splitPointMap.size() > 0) {
curLine = "<splitpoints>";
htmlOut.printRaw(curLine);
htmlOut.newline();
htmlOut.indentIn();
htmlOut.indentIn();
for (int sp = 1; sp <= splitPointMap.size(); sp++) {
String location = splitPointMap.get(sp);
assert location != null;