No need to set context class loader in InnerUtilFactory.
No need to set context class loader in InnerUtilFactory.

This was only necessary for SMTInterpol,
but we now use this class only for Z3, and it does not care about class
loaders.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt