docs: public static String getName(String pathAndName) {
          int i = pathAndName.lastIndexOf('/');
          int l = pathAndName.length();
          if (i == -1) {
              return pathAndName;
          } else if (l == i) {
              return "/";
          } else {
              return pathAndName.substring(i + 1);
          }
      }