code: void setInitialAttributes(File file, FileAttribute<?>... attrs) {
      state.checkOpen();
      attributes.setInitialAttributes(file, attrs);
    }
docs: Sets initial attributes on the given file. Sets default attributes first, then attempts to set
  the given user-provided attributes.