CoverageFileProvider (Element element) { final String sourceProvider = element.getAttributeValue(SOURCE_PROVIDER); final String relativePath = FileUtil.toSystemDependentName(element.getAttributeValue(FILE_PATH)); final File file = new File(relativePath); return new DefaultCoverageFileProvider(file.exists() ? file : new File(PathManager.getSystemPath(), relativePath), sourceProvider != null ? sourceProvider : DefaultCoverageFileProvider.DEFAULT_LOCAL_PROVIDER_KEY); }