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.