This rule is defined by the following XPath expression:
//MethodDeclaration /MethodDeclarator[@Image='finalize'][FormalParameters[count(*)>0]]
Example:
public class Foo { // this is confusing and probably a bug protected void finalize(int a) { } }