code: private HashMap readFault()
          throws IOException
      {
          HashMap map = new HashMap();
  
          int code = read();
          for (; code > 0 && code != 'z'; code = read()) {
              _peek = code;
  
              Object key = readObject();
              Object value = readObject();
  
              if (key != null && value != null)
                  map.put(key, value);
          }
  
          if (code != 'z')
              throw expect("fault", code);
  
          return map;
      }
docs: Reads a fault.