Mozilla の omni.jar は 7-Zip 9.20 では開けないようだ*1。unzip (Info-ZIP の)では展開できる。 optimizejars.py を使うと普通の zip に戻せるという話なので試してみたが、7-zip ではやはり開けなかった。 手順は、optimizejars.py を以下からダウンロー…