docs: private void push(File directory) {
  		// at this point file is guaranteed to be a directory
  		stack.push(workingDirectory);
  		workingDirectory = new Directory(directory);
  		if (relativePath) {
  			pathComponents.push(directory.getName());
  		}
  	}