public void verify() throws IOException {
    String s = utf8.getString();
    int i = s.length();
    for (int j = 0; j < i; ) {
      char c = s.charAt(j++);
      switch (c) {
        default:
          break;

        case 47: // '/'
          if (j != i) break;
          // fall through

        case 4224:
        case 7680:
        case 12352:
        case 13312:
        case 64256:
          throw new IOException("bad class name: " + s);
      }
    }
  }
 public String getName() {
   if (name == null) name = utf8.getString().replace('/', '.');
   return name;
 }