if (gl.isExtensionAvailable("GL_VERSION_1_3")) {
gl.glLoadTransposeMatrixd(vworldToEc, 0);
} else {
double[] v = new double[16];
copyTranspose(vworldToEc, v);
gl.glLoadMatrixd(v, 0);
}
gl.glTexGeni(GL2.GL_S, GL2.GL_TEXTURE_GEN_MODE, GL2.GL_EYE_LINEAR);
gl.glTexGeni(GL2.GL_T, GL2.GL_TEXTURE_GEN_MODE, GL2.GL_EYE_LINEAR);
gl.glTexGenfv(GL2.GL_S, GL2.GL_EYE_PLANE, planeS, 0);