refactor class/package-level definition: correct verification of the file