public FileAttributes addTag(String tag) { return new FileAttributes(user, group, mode, tags.append(single(tag))); }