I couldn't resist. Added AnimatedGIFTexture.java.