This rule is defined by the following XPath expression:
//MethodDeclaration[MethodDeclarator[@Image="finalize"][not(FormalParameters/*)]] /Block[count(BlockStatement)=1] /BlockStatement[ Statement/StatementExpression/PrimaryExpression /PrimaryPrefix[@Image="finalize"] ]
Example:
public class Foo { protected void finalize() { super.finalize(); } }