if (res.symbol() == defs.JAVA_OBJECT_TYPE.symbol()) return defs.ANYREF_TYPE; else return res;
return res;
    protected Type readClassType(int i) {        if (i == 0)            return defs.ANY_TYPE;        Type res = defs.getJavaType((Name)pool.readPool(i));        if (res == Type.ErrorType)            global.error("unknown class reference " + pool.readPool(i));        if (res.symbol() == defs.JAVA_OBJECT_TYPE.symbol())            return defs.ANYREF_TYPE;        else            return res;    }