SpecFilter uses non-filtered OpenAPI to copy some fields

[kokorin]

io.swagger.v3.core.filter.SpecFilter#filter()

OpenAPI clone = new OpenAPI();
clone.info(filteredOpenAPI.getInfo());
clone.openapi(filteredOpenAPI.getOpenapi());
clone.setExtensions(openAPI.getExtensions());
clone.setExternalDocs(openAPI.getExternalDocs());
clone.setSecurity(openAPI.getSecurity());
clone.setServers(openAPI.getServers());
clone.tags(filteredOpenAPI.getTags() == null ? null : new ArrayList<>(openAPI.getTags()));
...
for (String resourcePath : openAPI.getPaths().keySet()) {

Notice that for some properties filteredOpenAPI is used to copy, but for others non-filtered openAPI is used.

As a workaround we update original OpenAPI passed to OpenAPISpecFilter

[frantuma]

Thanks for reporting this! fixed in #3176

[kokorin]

@frantuma for loop is still based on no filtered OpenApi.
I believe it should also use filteredOpenAPI

for (String resourcePath : filteredOpenAPI.getPaths().keySet()) {

[kokorin]

Also, may be it's better to replace above mentioned key-based loop with entrySet-based loop

[frantuma]

you're right, updated in #3177; as we use path key downstream, keeping key based loop as is