} else {
// comment or doctype
IntegerBuffer b =
new IntegerBuffer(elementOrDeclOr.length);
b.append(elementOrDeclOr);
if (b.indexOf(DOCTYPE_INTS) == -1) {
after.append('<');
after.append(elementOrDeclOr);
} else {
// swallow old declaration
stillNeedToSeeDoctype = false;