public Path withFile(final String file) {
		final Path result = new Path(this);
		result.setFile(file);
		return result;
	}
public Path withFile(final String file) {
		final Path result = new Path(this);
		result.setFile(file);
		return result;
	}
public Path withFile ( final String file ) { final Path result = new Path ( this ) ; result . setFile ( file ) ; return result ; }
Create a new path with a given file.

@param file the file for the path
@return the new path
Create a new path with a given file .