JCS - PlayerParameters

File	Doc	Category	Size	Date	Package
PlayerParameters.java	API Doc	Example	2923	Tue Dec 12 18:58:42 GMT 2000	bingo.player
Player.java	API Doc	Example	12790	Tue Dec 12 18:58:42 GMT 2000	bingo.player