GLTexture.updatePImageFromGLTexture doesn't work

[GoogleCodeExporter]

int[] pixels is always of zero length.

should add
pixels = new int[this.width * this.height];
before 
buff.get(pixels);

so the pixels are actually updated

Original issue reported on code.google.com by valy...@gmail.com on 26 Aug 2011 at 12:42