------- Additional Comments From [hidden email] 2005-05-30 00:34 -------
I thought I would add one more comment. Perhaps the current implementation
doesn't suffer from class cast problem because most people don't actually
tokenize Strings? Perhaps they always use Readers, which ends up being 'lucky'
in that it's always checked for first, and therefore never suffers from the
class cast exception?