import org.jetbrains.mps.openapi.model.SModel;
import org.jetbrains.mps.openapi.util.ProgressMonitor;
import jetbrains.mps.internal.collections.runtime.ListSequence;
import java.util.ArrayList;
import jetbrains.mps.project.validation.ValidationUtil;
<BUG>import org.jetbrains.mps.openapi.util.Consumer;
</BUG>
import jetbrains.mps.project.validation.ValidationProblem;
public class ModelPropertiesChecker extends SpecificChecker {
public ModelPropertiesChecker() {

import org.jetbrains.mps.openapi.model.SModel;
import org.jetbrains.mps.openapi.util.ProgressMonitor;
import jetbrains.mps.internal.collections.runtime.ListSequence;
import java.util.ArrayList;
import jetbrains.mps.project.validation.ValidationUtil;
import org.jetbrains.mps.openapi.util.Processor;
import jetbrains.mps.project.validation.ValidationProblem;
public class ModelPropertiesChecker extends SpecificChecker {
public ModelPropertiesChecker() {
