return getFileView().getName(f);
String name = null; if (fv != null) name = fv.getName(f); if (name == null) name = getUI().getFileView(this).getName(f); return name;
  public String getName(File f)  {    return getFileView().getName(f);  }