@RequiresEdt
  public synchronized final void reload(@Nullable FileAnnotation newFileAnnotation) {
    if (myReloader != null) myReloader.consume(newFileAnnotation);
  }
@RequiresEdt
  public synchronized final void reload(@Nullable FileAnnotation newFileAnnotation)