Rename fletch -> dartino

tools/servicec/lib/src/resources/java/fletch/ListReader.java

Index: tools/servicec/lib/src/resources/java/fletch/ListReader.java
diff --git a/tools/servicec/lib/src/resources/java/fletch/ListReader.java b/tools/servicec/lib/src/resources/java/fletch/ListReader.java
deleted file mode 100644
index 1d88caaee03f6d948ad3d64be47c2f4122a965b6..0000000000000000000000000000000000000000
--- a/tools/servicec/lib/src/resources/java/fletch/ListReader.java
+++ /dev/null
@@ -1,17 +0,0 @@
-// 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;
-
-class ListReader extends Reader {
-  public ListReader() { }
-
-  public int length;
-
-  Reader readListElement(Reader reader, int index, int size) {
-    reader.segment = segment;
-    reader.base = base + index * size;
-    return reader;
-  }
-}