Empty finalize() methods are useless, so they should be deleted.