/* Set up stencil buffer */
gl.glClearStencil(0);
gl.glEnable(GL.GL_STENCIL_TEST);
gl.glColorMask(false, false, false, false);
gl.glStencilFunc(GL.GL_NEVER, 0, 1);
gl.glStencilOp(GL.GL_INVERT, GL.GL_INVERT, GL.GL_INVERT);
// if only 1 vertex, draw a point
if (polygon.vertices().size() == 1)
gl.glBegin(GL.GL_POINTS);