@Override
  public EntryPointsManager getEntryPointsManager(RefManager manager) {
    return manager.getExtension(RefJavaManager.MANAGER).getEntryPointsManager();
  }
@Override
  public EntryPointsManager getEntryPointsManager(RefManager manager)