throw new EOFException();
throw new EOFException("partial name read: " + buf);
  private String readAttributeType(Reader in) throws IOException  {    StringBuffer buf = new StringBuffer();    int ch;    while ((ch = in.read()) != '=')      {        if (ch == -1)          {            if (buf.length() > 0)              throw new EOFException();            return null;          }        if (ch > 127)          throw new IOException("Invalid char: " + (char) ch);        if (Character.isLetterOrDigit((char) ch) || ch == '-' || ch == '.')          buf.append((char) ch);        else          throw new IOException("Invalid char: " + (char) ch);      }    return buf.toString();  }