// lists only the non-empty ones
static L<File> allDataDirectories() {
  File dataDir = javaxDataDir();
  new L<File> l;
  for (File dir : listDirs(dataDir))
    if (dir.getName().startsWith("#") && listFiles(dir).length != 0)
      l.add(dir);
  ret l;
}