$ 0 0 ubuntuforums.org/showthread.php?t=1060128 discusses using Java ImageIO to convert a PNG to a GIF.