Changed DocumentTest to use HashSet instead of ArrayList, to reflect changes made in Document.getUniqueTokens