public void dispose() {
    for (TextAnnotationGutterProviderInfo info : myTextAnnotationGutterProviders) {
      info.provider().gutterClosed();
    }
    myProviderToListener.clear();
  }
public void dispose()