scope loadBufferedImageFixingGIFs.

import javax.imageio.metadata.*;

import javax.imageio.stream.*;

sbool #debug;

static ThreadLocal<Var<byte[]>> #output = new ThreadLocal;

static Image loadBufferedImageFixingGIFs(File file) ctex {

  if (!file.exists()) null;

  // Load anything but GIF the normal way

  if (!isGIF(file))

    ret ImageIO.read(file);

  if (debug) print(__scope + ": checking gif");

  // Get GIF reader

  ImageReader reader = ImageIO.getImageReadersByFormatName("gif").next();

  // Give it the stream to decode from

  reader.setInput(ImageIO.createImageInputStream(file));

  int numImages = reader.getNumImages(true);

  // Get 'metaFormatName'. Need first frame for that.

  IIOMetadata imageMetaData = reader.getImageMetadata(0);

  String metaFormatName = imageMetaData.getNativeMetadataFormatName();

  // Find out if GIF is bugged

  boolean foundBug = false;

  for (int i = 0; i < numImages && !foundBug; i++) {

      // Get metadata

      IIOMetadataNode root = (IIOMetadataNode)reader.getImageMetadata(i).getAsTree(metaFormatName);

      // Find GraphicControlExtension node

      int nNodes = root.getLength();

      for (int j = 0; j < nNodes; j++) {

          org.w3c.dom.Node node = root.item(j);

          if (node.getNodeName().equalsIgnoreCase("GraphicControlExtension")) {

              // Get delay value

              String delay = ((IIOMetadataNode)node).getAttribute("delayTime");

              // Check if delay is bugged

              if (Integer.parseInt(delay) == 0) {

                  foundBug = true;

              }

              break;

          }

      }

  }

  if (debug) print(__scope + ": " + f2s(file) + " foundBug=" + foundBug);

  // Load non-bugged GIF the normal way

  Image image;

  if (!foundBug) {

    image = Toolkit.getDefaultToolkit().createImage(f2s(file));

  } else {

    // Prepare streams for image encoding

    ByteArrayOutputStream baoStream = new ByteArrayOutputStream();

    {

      temp ImageOutputStream ios = ImageIO.createImageOutputStream(baoStream);

      // Get GIF writer that's compatible with reader

      ImageWriter writer = ImageIO.getImageWriter(reader);

      // Give it the stream to encode to

      writer.setOutput(ios);

      writer.prepareWriteSequence(null);

      for (int i = 0; i < numImages; i++) {

          // Get input image

          BufferedImage frameIn = reader.read(i);

          // Get input metadata

          IIOMetadataNode root = (IIOMetadataNode)reader.getImageMetadata(i).getAsTree(metaFormatName);

          // Find GraphicControlExtension node

          int nNodes = root.getLength();

          for (int j = 0; j < nNodes; j++) {

              org.w3c.dom.Node node = root.item(j);

              if (node.getNodeName().equalsIgnoreCase("GraphicControlExtension")) {

                  // Get delay value

                  String delay = ((IIOMetadataNode)node).getAttribute("delayTime");

                  // Check if delay is bugged

                  if (Integer.parseInt(delay) == 0) {

                      // Overwrite with a valid delay value

                      ((IIOMetadataNode)node).setAttribute("delayTime", "10");

                  }

                  break;

              }

          }

          // Create output metadata

          IIOMetadata metadata = writer.getDefaultImageMetadata(new ImageTypeSpecifier(frameIn), null);

          // Copy metadata to output metadata

          metadata.setFromTree(metadata.getNativeMetadataFormatName(), root);

          // Create output image

          IIOImage frameOut = new IIOImage(frameIn, null, metadata);

          // Encode output image

          writer.writeToSequence(frameOut, writer.getDefaultWriteParam());

      }

      writer.endWriteSequence();

    }

    // Create image using encoded data

    byte[] data = baoStream.toByteArray();

    setVar(output!, data);

    if (debug) print("Data size: " + l(data));

    image = Toolkit.getDefaultToolkit().createImage(data);

  }

  ret image;

}

end scope