throw new SemanticException("Could not parse class file", pos);
if (curClass != null && curClass instanceof JL5ParsedClassType){ if (((JL5ParsedClassType)curClass).typeVariables() != null){ for (Iterator it = ((JL5ParsedClassType)curClass).typeVariables().iterator(); it.hasNext(); ){ IntersectionType iType = (IntersectionType)it.next(); if (iType.name().equals(next)) return iType; } } } return null;
    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);    }