gl.glEnd();
}
// pop current color
gl.glPopAttrib();
gl.glDisable(GL.GL_STENCIL_TEST);
}
////////////////////////////////////////////////////////////////
// IMPLEMENT THE FUNCTIONS ABOVE //////////
////////////////////////////////////////////////////////////////