static L<S> urldecodeFileNames(L<File> l) {
  new L<S> out;
  for (File f : l)
    out.add(urldecode(f.getName()));
  ret out;
}