static L<File> allDataDirs() {
  new L<File> l;
  for (File dir : listDirs(javaxDataDir()))
    if (dir.getName().startsWith("#"))
      l.add(dir);
  ret l;
}