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]");
}

Began life as a copy of #1013801