code: private static String[] getPathStack(String path) {
          String normalizedPath = path.replace(File.separatorChar, '/');
  
          return normalizedPath.split("/");
      }
docs: Gets all names of the path as an array of <code>String</code>s.
  
  @param path to get names from
  @return <code>String</code>s, never <code>null</code>