code: void setAttribute(File file, String attribute, Object value) {
      state.checkOpen();
      // TODO(cgdecker): Change attribute stuff to avoid the sad boolean parameter
      attributes.setAttribute(file, attribute, value, false);
    }
docs: Sets the given attribute to the given value for the given file.