838485868788899091
colors.add(col); for (Iterator iter = tl.iterator(); iter.hasNext();) { Token element = (Token) iter.next(); Location loc = new LocationImpl(element.getStart(), element.getEnd()); locationToColor.put(loc, col); } }