public FileVersion getFileVersionByAnnotation(long annotation) {
		int fileNumber = getFileNumber(getAnnotationNumber(annotation));
		if (fileNumber < 0 || fileNumber >= files.size()) {
			throw new RuntimeException("Annotation " + annotation + "  points to non-existing file number: " + fileNumber);
		}
		return files.get(fileNumber);
	}