@NotNull
  private static JavaCoverageEnabledConfiguration getConfiguration(RunConfigurationBase<?> configuration) {
    return (JavaCoverageEnabledConfiguration)CoverageEnabledConfiguration.getOrCreate(configuration);
  }
@NotNull
  private static JavaCoverageEnabledConfiguration getConfiguration(RunConfigurationBase<?> configuration)