Take overload taking existing instance

1 files changed, 12 insertions, 0 deletions

diff --git a/jdisc-security-filters/src/main/java/com/yahoo/jdisc/http/filter/security/misc/User.java b/jdisc-security-filters/src/main/java/com/yahoo/jdisc/http/filter/security/misc/User.java
index 607e3482c3d..616b9df4bd8 100644
--- a/jdisc-security-filters/src/main/java/com/yahoo/jdisc/http/filter/security/misc/User.java
+++ b/jdisc-security-filters/src/main/java/com/yahoo/jdisc/http/filter/security/misc/User.java
@@ -35,6 +35,7 @@ public record User(String email, String name, String nickname, String picture, b
     }
 
     public static Builder builder() { return new Builder(); }
+    public static Builder builder(User u) { return new Builder(u); }
 
     public static class Builder {
         private String email;
@@ -48,6 +49,17 @@ public record User(String email, String name, String nickname, String picture, b
 
         private Builder() {}
 
+        private Builder(User u) {
+            email = u.email;
+            name = u.name;
+            nickname = u.nickname;
+            picture = u.picture;
+            isVerified = u.isVerified;
+            loginCount = u.loginCount;
+            lastLogin = u.lastLogin;
+            extraAttributes.putAll(u.extraAttributes);
+        }
+
         public Builder email(String email) { this.email = email; return this; }
         public Builder name(String name) { this.name = name; return this; }
         public Builder nickname(String nickname) { this.nickname = nickname; return this; }