code: @Requires("location != null")
    public void setLocation(Location location, List<? extends File> path)
        throws IOException {
      fileManager.setLocation(location, path);
    }
docs: Sets the list of paths associated with {@code location}.
  
  @param location the affected location
  @param path a list of paths, or {@code null} to reset to default