int priority = NORMAL_PRIORITY; int lastDollar = getClassName().lastIndexOf('$'); if (lastDollar > 0 && Character.isDigit(getClassName().charAt(lastDollar+1))) priority = LOW_PRIORITY;
	public void visit(JavaClass obj) {		try {			if (Repository.instanceOf(obj, "java.util.Comparator")					&& !Repository.instanceOf(obj, "java.io.Serializable")) {				bugReporter						.reportBug(new BugInstance(this,								"SE_COMPARATOR_SHOULD_BE_SERIALIZABLE",								NORMAL_PRIORITY).addClass(this));			}		} catch (ClassNotFoundException e) {			// ignore it		}	}