checker/src/main/java/org/checkerframework/checker/calledmethods/messages.properties

finalizer.invocation=This finalizer cannot be invoked, because the following methods have not been called: %s