docs: public static String dot2path(String qualifiedName, String fileExtension)
    {
      if(qualifiedName == null) {
        return null;
      }
      StringBuilder path = new StringBuilder();
      path.append(dot2path(qualifiedName));
      if(fileExtension != null) {
        if(fileExtension.charAt(0) != '.') {
          path.append('.');
        }
        path.append(fileExtension);
      }
      return path.toString();
    }