/* Creates player for file 'source' */
private void createPlayer(String source) {
closePlayer();
try {
/* What is file extention? */
String ext = "wav";
int point = source.lastIndexOf('.');
if (-1 != point) {
ext = source.substring(point + 1).toLowerCase();
}
InputStream is = getClass().getResourceAsStream(source);
if (null != is) {
player = Manager.createPlayer(is, getMimeType(ext));
player.addPlayerListener(this);
}
} catch (Exception e) {
closePlayer();
}
}
