protected void popDestTextures() {
try {
currentDestTex = destTexStack.pop();
currentFBO.setDrawBuffers(currentDestTex);
} catch (EmptyStackException e) {
System.out.println("Empty texture stack");
}
}
protected void setDestTextures(GLTexture[] destTex, int n) {
currentDestTex = destTex;
currentFBO.setDrawBuffers(currentDestTex, n);
}