Package GCG.coloredVertex