File deepCopyValue.patch of Package manifold

--- manifold-2023.1.20/manifold-deps-parent/manifold-json-rt/src/main/java/manifold/json/rt/api/IJsonList.java	2023-09-13 09:02:06.966864128 +0200
+++ manifold-2023.1.20/manifold-deps-parent/manifold-json-rt/src/main/java/manifold/json/rt/api/IJsonList.java	2023-09-13 09:21:40.957901849 +0200
@@ -17,6 +17,7 @@
 package manifold.json.rt.api;
 
 import java.util.List;
+import java.util.function.Function;
 import manifold.rt.api.Bindings;
 import manifold.ext.rt.api.IListBacked;
 import manifold.ext.rt.api.IProxyFactory;
@@ -45,7 +46,7 @@
   default IJsonList<T> copy()
   {
     //noinspection unchecked
-    return (IJsonList<T>)Bindings.deepCopyValue(getList(), DataBindings::new);
+    return (IJsonList<T>)manifold.json.rt.extensions.manifold.rt.api.Bindings.ManBindingsExt.deepCopyValue(getList(), DataBindings::new);
   }
 
   /** For Internal Use Only */