javadoc for basicplayer3.0.jar