CoverageEnabledConfiguration (final @NotNull RunConfigurationBase runConfiguration) { CoverageEnabledConfiguration configuration = runConfiguration.getCopyableUserData(COVERAGE_KEY); if (configuration == null) { for (CoverageEngine engine : CoverageEngine.EP_NAME.getExtensionList()) { if (engine.isApplicableTo(runConfiguration)) { configuration = engine.createCoverageEnabledConfiguration(runConfiguration); break; } } LOG.assertTrue(configuration != null, "Coverage enabled run configuration wasn't found for run configuration: " + runConfiguration.getName() + ", type = " + runConfiguration.getClass().getName()); runConfiguration.putCopyableUserData(COVERAGE_KEY, configuration); } return configuration; }