gl.glClear(GL.GL_COLOR_BUFFER_BIT | GL.GL_DEPTH_BUFFER_BIT);
shapeManager.checkQueue(gl, glu);
render(gl);
gl.glFlush();
}
void renderClippingPlane(GL gl, double[] eqn, int plane) {
java.nio.DoubleBuffer eqnBuffer = java.nio.DoubleBuffer.wrap(eqn);
gl.glClipPlane(plane, eqnBuffer);