in src/main/java/org/apache/commons/graph/coloring/ColoredVertices.java [56:68]
void addColor( V v, C color )
{
coloredVertices.put( v, color );
int idx = usedColor.indexOf( color );
if ( idx == -1 )
{
usedColor.add( color );
}
else
{
usedColor.set( idx, color );
}
}