return list(null);
checkRead();  if (!exists() || !isDirectory()) return null;   String files[] = VMFile.list(path);   if (files == null) return null;  if (filter == null) return files;   int count = 0; for (int i = 0; i < files.length; i++) { if (filter.accept(this, files[i])) ++count; else files[i] = null; }  String[] retfiles = new String[count]; count = 0; for (int i = 0; i < files.length; i++) if (files[i] != null) retfiles[count++] = files[i];  return retfiles;
  public String[] list()  {    return list(null);  }