window.saveAll();
window.consoleTab.makeCurrent();
window.consoleTab.println("Checking Grammar "+window.getGrammarFileName()+"...");
checkGrammar = new CheckGrammar(window, this);
checkGrammar.check();
StatisticsAW.shared().recordEvent(StatisticsAW.EVENT_CHECK_GRAMMAR);
}