changed behaviour of RunResultFinder.checkFile(): if the runresult is registered and it has the same change date, don't do anything