private Type findTypeArg(String next, Position pos) throws SemanticException{ next = next.substring(1);
private Type findTypeArg(String next){
    private Type findTypeArg(String next, Position pos) throws SemanticException{        next = next.substring(1);        if (typeVars != null){            for (Iterator it = typeVars.iterator(); it.hasNext(); ){                IntersectionType iType = (IntersectionType)it.next();                if (iType.name().equals(next)) return iType;            }        }        throw new SemanticException("Could not parse class file", pos);    }