Update BasicPlayer.java

hey I've seen that you're using the basicplayer api. I had a few troubles with it lately and made few bug fixes on the BasicPlayer class. Just thought that it would be a pitty if no one could profit of the changes I did ;)
Summary:
few useful methods added, overall thread safety improved, faster resuming ;)