lib 1001094 // JavaLayer 1.0.1
lib 1003618 // basicplayer.jar
lib 1003619 // apache commons logging
lib 1003620 // mp3 spi
lib 1003621 // tritonus
lib 1003623 // ogg vorbis 1
lib 1003624 // ogg vorbis 2
lib 1003625 // ogg vorbis 3
lib 1003645 // flac

import javazoom.jl.player.*;
import javazoom.jlgui.basicplayer.*;

static BasicPlayer makeBasicMP3Player() {
  ret new BasicPlayer;
}