boolean clipping = false;
if (GLStencilUtil.getInstance().isClipActive()){
clipping = true;
gl.glPushAttrib(GL.GL_STENCIL_BUFFER_BIT);
gl.glClearStencil(GLStencilUtil.getInstance().stencilValueStack.peek());
gl.glClear(GL.GL_STENCIL_BUFFER_BIT);
// gl.glDisable(GL.GL_STENCIL_TEST);
}
// */
// gl.glEnable(gl.GL_ALPHA_TEST);