@NotNull
  @Override
  public PsiClassType annotate(@NotNull TypeAnnotationProvider provider) {
    return (PsiClassType)super.annotate(provider);
  }
@NotNull
  @Override
  public PsiClassType annotate(@NotNull TypeAnnotationProvider provider)