// push the current color
gl.glPushAttrib(GL2.GL_CURRENT_BIT);
// use the current polygon's color
gl.glColor3f(color.getRed(), color.getGreen(), color.getBlue());
// if only 1 vertex, draw a point
if (polygon.vertices().size() == 1)
gl.glBegin(GL.GL_POINTS);