SMTRunnerConsoleProperties (@NotNull Executor executor) { JUnitConsoleProperties properties = new JUnitConsoleProperties(this, executor); properties.setIdBasedTestTree(getTestObject().isIdBasedTestTree()); return properties; }