651652653654655656657658659660661
setNormal(label); } break; case 6: case 7: if (!diff.remarksEqual()) { setHighlighted(label, value); } else {