Method duplicate

src/main/java/gate/Factory.java:591–600

Create a duplicate of the given resource. A duplicate is a an independent copy of the resource that has the same name and the same behaviour. It does not necessarily have the same concrete class as the original, but if the original resource implements any of the following interface

(Resource res)

   *           constructing the duplicate.
   */
  public static Resource duplicate(Resource res)
          throws ResourceInstantiationException {
    DuplicationContext ctx = new DuplicationContext();
    try {
      return duplicate(res, ctx);
    } finally {
      // de-activate the context
      ctx.active = false;
    }
  }

  private static long dupIndex = 0;