Rename fletch -> dartino

tools/immic/lib/src/resources/java/immi/ListPatch.java

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 // Generated file. Do not edit.
 
 package immi;
 
 import java.util.ArrayList;
 import java.util.Collections;
 import java.util.List;
 
-import fletch.ListPatchData;
-import fletch.ListRegionData;
-import fletch.ListRegionDataList;
-import fletch.NodeDataList;
-import fletch.NodePatchDataList;
+import dartino.ListPatchData;
+import dartino.ListRegionData;
+import dartino.ListRegionDataList;
+import dartino.NodeDataList;
+import dartino.NodePatchDataList;
 
 public final class ListPatch<N extends Node> implements Patch {
 
   // Public interface.
 
   @Override
   public boolean hasChanged() { return changed; }
 
   public List<N> getCurrent() { return current; }
   public List<N> getPrevious() { return previous; }
@@ skipping 177 matching lines @@
     public static Type fromInt(int tag) {
       return tag == 0 ? ANY_NODE : SPECIFIC_NODE;
     }
   }
 
   private boolean changed;
   private List<N> previous;
   private List<N> current;
   private List<RegionPatch> regions;
 }