139140141142143144145146147148149
} if (state == MATCH) { // Replace SYMBOL with LABEL. Section label = new Label(); label.copyPosition(symbolSection); label.setNextSection(symbolSection.getNextSection()); i.setNextSection(label); state = RESET; }