}
if (!jprogram.getSplitPointInitialSequence().isEmpty()) {
curLine = "<initialseq>";
htmlOut.printRaw(curLine);
htmlOut.newline();
htmlOut.indentIn();
for (int sp : jprogram.getSplitPointInitialSequence()) {
curLine = "<splitpointref id=\"" + sp + "\"/>";
htmlOut.printRaw(curLine);