@@ -96,11 +96,11 @@ } } } /** - * An assumption that a given class has no subclasses implementing {@code Object#finalize()}). + * An assumption that a given class has no subclasses implementing {@link Object#finalize()}). */ public static final class NoFinalizableSubclass extends Assumption { private ResolvedJavaType receiverType;