Rename fletch -> dartino

tools/servicec/lib/src/resources/java/dartino/Reader.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.
 
-package fletch;
+package dartino;
 
 import java.nio.ByteBuffer;
 import java.nio.charset.Charset;
 
 class Reader {
   public Reader() { }
 
   public Reader(byte[] memory, int offset) {
     segment = new Segment(memory);
     base = offset;
@@ skipping 71 matching lines @@
     int used = 0;
     for (int i = 0; i < reader.segmentCount(); i++) {
       used += reader.getSegment(i).buffer().capacity();
     }
     return used;
   }
 
   protected Segment segment;
   protected int base;
 }