ObjectType curr = this; while (true) { ObjectType supertype = curr.getSupertype(); if (supertype == null) { return curr; } curr = supertype; }
return ObjectType.wrap(m_type.getBasetype());
    public ObjectType getBasetype() {        ObjectType curr = this;        while (true) {            ObjectType supertype = curr.getSupertype();            if (supertype == null) {                return curr;            }            curr = supertype;        }    }