static void addInt(int len) { int i = integers.indexOf(len); // TODO: test this change and refactor it IntVector::Iterator it = i == -1 ? integers.end() : (integers.begin()+i); if (it == integers.end()) { integers.append(len); } }