void (@NotNull JavaCoverageOptionsProvider.State state) { myState.myIgnoreImplicitConstructors = state.myIgnoreImplicitConstructors; myState.myExcludeAnnotationPatterns = listWithDefaultAnnotations(state.myExcludeAnnotationPatterns); }