// Do nothing. These can match spuriously, and if it's not the thing
// we're looking for, keep on going.
} else if (matchText.equals("<!--")) {
// Do nothing. These can match spuriously, and if it's not the thing
// we're looking for, keep on going.
} else if (matchText.equals("<!--")) {