Posted by gouessej on Jan 20, 2016; 11:09pm
URL: https://forum.jogamp.org/TextureNames-creation-failed-when-calling-GLMediaPlayer-initGL-tp4033009p4036059.html

Good finding. Maybe GLMediaPlayer.destroy() should check that the video isn't uninitialized before trying to dispose its native resources.