private void addNewFileVersion(FileVersion version) {
		version.fileNumber = files.size();
		files.add(version);
		List<FileVersion> list = originalPathMap.get(version.path);
		if (list == null) {
			list = new ArrayList<FileVersion>();
			originalPathMap.put(version.path, list);
		}
		list.add(version);
		mappedPathMap.put(version.mappedPath, version);
	}