This constructor is used under "normal working conditions" when the probing environment already has
the compilation infrastructure available (which is assumed since otherwise it would not be possible to obtain
instances of the javax.lang.model.element.TypeElement interface).