concreteCollectionClasses.add("java.util.TreeMap"); concreteCollectionClasses.add("java.util.TreeSet");
concreteCollectionClasses.add("java/util/TreeMap"); concreteCollectionClasses.add("java/util/TreeSet");
	public FindBadCast(BugReporter bugReporter) {		this.bugReporter = bugReporter;		abstractCollectionClasses.add("java/util/Collection");		abstractCollectionClasses.add("java/util/List");		abstractCollectionClasses.add("java/util/Set");		abstractCollectionClasses.add("java/util/Map");		concreteCollectionClasses.add("java/util/LinkedHashMap");		concreteCollectionClasses.add("java/util/LinkedHashSet");		concreteCollectionClasses.add("java/util/HashMap");		concreteCollectionClasses.add("java/util/HashSet");        concreteCollectionClasses.add("java.util.TreeMap");        concreteCollectionClasses.add("java.util.TreeSet");		concreteCollectionClasses.add("java/util/ArrayList");		concreteCollectionClasses.add("java/util/LinkedList");		concreteCollectionClasses.add("java/util/Hashtable");		concreteCollectionClasses.add("java/util/Vector");	}