This rule is defined by the following XPath expression:
//ClassOrInterfaceDeclaration[@Final='true' and @Interface='false'] /ClassOrInterfaceBody/ClassOrInterfaceBodyDeclaration/MethodDeclaration[@Final='true']
Example:
public final class Foo { // This final modifier is not necessary, since the class is final // and thus, all methods are final private final void foo() { } }