lib 1400128 // JAVE 2 lib 1400129 // JAVE 2 Linux 64 lib 1003619 // commons logging import ws.schild.jave.*; static void oggToMP3(File ogg, File mp3) ctex { new AudioAttributes audio; audio.setCodec("libmp3lame"); new EncodingAttributes attrs; attrs.setFormat("mp3"); attrs.setAudioAttributes(audio); print("Converting " + f2s(ogg) + " to " + f2s(mp3)); new Encoder().encode(new MultimediaObject(ogg), mp3, attrs); print(" [done]"); }