Code style: fix unneeded import

Author: kfriedberger

src/org/sosy_lab/java_smt/solvers/cvc5/CVC5FormulaCreator.java

@@ -31,7 +31,6 @@
 import io.github.cvc5.Sort;
 import io.github.cvc5.Term;
 import io.github.cvc5.TermManager;
-import java.lang.reflect.Array;
 import java.math.BigInteger;
 import java.util.ArrayList;
 import java.util.HashMap;