Hi Stefan,
es gibt diverse Programme die das können. Z.B. IrfavView kann soetwas per Batch-Lauf.
Die Frage ist nur, ob das Sinn macht. *.jpg Dateien sind je nach Inhalt kleiner, als z.B. *.gif's. Wenn du aber z.B. relativ Simple Grafiken im *.jpg Format hast würde es Sinn machen die Grafiken in Flash zu Importieren und dann per Image-Trace (diverse Einstellungen) in ein Vektor-Format zu ändern. Der Vorteil ist das diese Grafiken dann ohne verlust gezoomt werden können und das du sie einfach nachbearbeiten kannst. Für komplexere Grafiken wäre *.png wahrscheinlich schon sinnvoll, das müssten man dann aber testen. Pauschal alle Grafiken in anderes Format zu importieren, würde ich dir aber nicht raten.
Grüße - Andre