if (id == null)
throw new ImageReadException("GIF: Couldn't read ImageDescriptor");
// Prefer the size information in the ImageDescriptor; it is more reliable
// than the size information in the header.
return new Dimension(id.imageWidth, id.imageHeight);
}