fix settings

Author: wadoon

key.core/src/test/java/de/uka/ilkd/key/smt/solvertypes/SolverPropertiesLoaderTest.java

@@ -142,7 +142,7 @@ void loadZ3() {
         assertEquals("--version", z3.getString("version"));
         assertEquals("z3", z3.getString("command"));
         assertEquals(-1, z3.getInt("timeout"));
-        assertEquals("getUnsatCore", z3.getString("handlerOptions"));
+        assertThat(z3.getStringList("handlerOptions")).containsExactly("getUnsatCore");
 
         assertThat(z3.getStringList("handlers")).containsExactly(
             "de.uka.ilkd.key.smt.newsmt2.BooleanConnectiveHandler",