null));
                return new ArrayList<>(problems) {
                    @Override
                    public int size() {
                        return problemCollector.totalProblemsReported();
                    }
                };
            } else {
                return problems;
            }
        }