docs: public static String getRfsPath(String filename, String extension, String parameters) {
  
          StringBuffer buf = new StringBuffer(128);
          buf.append(filename);
          buf.append('_');
          int h = parameters.hashCode();
          // ensure we do have a positive id value
          buf.append(h > 0 ? h : -h);
          buf.append(extension);
          return buf.toString();
      }