knownCards functionality improved in Player.java