A SourceModuleTranslator whose implementation of loadAllSources() uses the PolyglotFrontEnd pseudo-compiler to generate DOMO IR
for the sources in the compile-time classpath.
This is a hack to get around the fact that AST.resolveWellKnownTypes() doesn't know about some implicitly declared exceptions,
such as ArithmeticException (implicitly thrown in a division operation) and NullPointerException (implicitly thrown in a field
access).
Class responsible for mapping JDT type system objects representing types, methods and fields to the corresponding WALA
TypeReferences, MethodReferences and FieldReferences.