@Override
  public @Nullable PsiJavaModule getModuleDeclaration() {
    return withGreenStubOrAst(
      PsiJavaFileStub.class,
      stub -> stub.getModule(),
      ast -> PsiTreeUtil.getChildOfType(this, PsiJavaModule.class)
    );
  }
@Override
  public @Nullable PsiJavaModule getModuleDeclaration()