private void doShufflePlayList()
	{
		if (playList!=null)
		{
			playlistUpdateThread.halt();
			try
			{
				playList.doShuffle();
				createList(getFirstVisableIndex());
			}
			finally
			{
				playlistUpdateThread.restart();
			}
		}
	}
private void doShufflePlayList ( ) { if ( playList != null ) { playlistUpdateThread . halt ( ) ; try { playList . doShuffle ( ) ; createList ( getFirstVisableIndex ( ) ) ; } finally { playlistUpdateThread . restart ( ) ; } } }
@since 04.09.2011