}
@Override
public List<SearchResult<ModelCheckerIssue>> checkModel(final SModel model, ProgressMonitor monitor) {
monitor.start("model properties", 1);
final List<SearchResult<ModelCheckerIssue>> results = ListSequence.fromList(new ArrayList<SearchResult<ModelCheckerIssue>>());
<BUG>ValidationUtil.validateModel(model, new Consumer<ValidationProblem>() {

public void consume(final ValidationProblem problem) {
</BUG>
ListSequence.fromList(results).addElement(ModelCheckerIssue.getSearchResultForModel(model, problem.getMessage(), new IModelCheckerFix() {

}
@Override
public List<SearchResult<ModelCheckerIssue>> checkModel(final SModel model, ProgressMonitor monitor) {
monitor.start("model properties", 1);
final List<SearchResult<ModelCheckerIssue>> results = ListSequence.fromList(new ArrayList<SearchResult<ModelCheckerIssue>>());
ValidationUtil.validateModel(model, new Processor<ValidationProblem>() {
public boolean process(final ValidationProblem problem) {
ListSequence.fromList(results).addElement(ModelCheckerIssue.getSearchResultForModel(model, problem.getMessage(), new IModelCheckerFix() {
