This rule is defined by the following XPath expression:
//MethodDeclaration[MethodDeclarator[@Image='finalize'][not(FormalParameters/*)]] /Block[count(*)=0]
Example:
public class Foo { protected void finalize() {} }