static S f2s(File f) {
  ret f == null ? null : f.getAbsolutePath();
}

sS f2s(S s) { ret f2s(newFile(s)); }

ifndef Android
 static S f2s(java.nio.file.Path p) {
  ret p == null ? null : f2s(p.toFile());
}
endifndef