Renamed File to RepoFile to prevent confusion with java.io.file