How would one go about converting an array of buffered images to an image file like 'mov' or 'avi'? I've looked it up, and everyone says use an external library like xuggler or something like that, but I don't know how to use those or how to download those and use them in a Java project.