add(new HTML("Music obtained from: <a href=\""
+ "http://www.vorbis.com/music/Epoq-Lepidoptera.ogg\">"
+ "http://www.vorbis.com/music/Epoq-Lepidoptera.ogg</a>"));
Audio audio = new Audio();
Source source = new Source("http://www.vorbis.com/music/Epoq-Lepidoptera.ogg");
source.setType("audio/ogg");
audio.addSource(source);
audio.setControls(true);
audio.setAutobuffer(true);
add(audio);
}