t.typeVariables(signature.typeVariables());
t.typeVariables(signature.classSignature.typeVars());
    public ParsedClassType type(TypeSystem ts) throws SemanticException {            JL5ParsedClassType t = (JL5ParsedClassType)super.type(ts);        if (signature != null){            try {                signature.parseSignature(ts, t.position());            }            catch(IOException e){            }            t.typeVariables(signature.typeVariables());        }        return t;    }