added copying to JSONPointer constructor

erosb · erosb · commit c044eb14dd38 · 2016-05-05T15:59:43.000+02:00
diff --git a/JSONPointer.java b/JSONPointer.java
@@ -143,7 +143,7 @@ public JSONPointer(String pointer) {
     }
 
     public JSONPointer(List<String> refTokens) {
-        this.refTokens = refTokens;
+        this.refTokens = new ArrayList<String>(refTokens);
     }
 
     private String unescape(String token) {

Original file line number	Diff line number	Diff line change
`@@ -143,7 +143,7 @@ public JSONPointer(String pointer) {`
`143`	`143`	`}`
`144`	`144`
`145`	`145`	`public JSONPointer(List<String> refTokens) {`
`146`		`- this.refTokens = refTokens;`
	`146`	`+ this.refTokens = new ArrayList<String>(refTokens);`
`147`	`147`	`}`
`148`	`148`
`149`	`149`	`private String unescape(String token) {`