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

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