static File fixImageFileName(File file) { if (!isFile(file)) ret file; if (isJPEG(file)) ret renameFile_assertTrue(file, changeExtension(file, ".jpg")); if (isPNG(file)) ret renameFile_assertTrue(file, changeExtension(file, ".png")); ret file; }