return true;
return true; }
	boolean isChecked(String c) {		if (!causes.add(c)) return checkedCauses.contains(c);		try {			if (Hierarchy.isSubtype(c, "java.lang.Exception")			        && !Hierarchy.isSubtype(c, "java.lang.RuntimeException"))				checkedCauses.add(c);			return true;		} catch (ClassNotFoundException e) {			bugReporter.reportMissingClass(e);		}		return false;	}