@Override
  protected void navigateToAlreadyStarted(Document oldDocument, int exitCode) {
    super.navigateToAlreadyStarted(oldDocument, exitCode);
    ((EditorImpl)InjectedLanguageEditorUtil.getTopLevelEditor(myEditor)).stopDumbLater();
  }
@Override
  protected void navigateToAlreadyStarted(Document oldDocument, int exitCode)