This rule is defined by the following XPath expression:
//MethodDeclaration[MethodDeclarator[@Image='finalize'][not(FormalParameters/*)]] /Block /BlockStatement[last()] [not(Statement/StatementExpression/PrimaryExpression/PrimaryPrefix[@Image='finalize'])] [not(Statement/TryStatement/FinallyStatement /Block/BlockStatement/Statement/StatementExpression /PrimaryExpression/PrimaryPrefix[@Image='finalize'])]
Example:
public class Foo { protected void finalize() { something(); // neglected to call super.finalize() } }