This is the final version of fileWithVersions.txt.