code: public Path withFile(final String file) {
  		final Path result = new Path(this);
  		result.setFile(file);
  		return result;
  	}
docs: Create a new path with a given file.
  
  @param file the file for the path
  @return the new path