From ce2bd72cb3f6b6ea7d892dff0fa74a3c137754fa Mon Sep 17 00:00:00 2001
From: Alexander Weigl <weigl@kit.edu>
Date: Sat, 20 Apr 2024 11:56:30 +0200
Subject: [PATCH] remove unused imports

---
 .../de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java  | 1 -
 .../de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java  | 1 -
 .../java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java   | 3 +--
 3 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java b/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java
index 2047ceaa4c..1e2c91fd50 100644
--- a/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java
+++ b/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java
@@ -3,7 +3,6 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.settings;
 
-import java.nio.file.InvalidPathException;
 import java.util.Collection;
 import java.util.LinkedList;
 import java.util.Optional;
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java
index e68ce674a2..1cb00ad3d7 100644
--- a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java
+++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java
@@ -4,7 +4,6 @@
 package de.uka.ilkd.key.gui.smt.settings;
 
 import java.math.RoundingMode;
-import java.nio.file.InvalidPathException;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.List;
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java
index a154526b9e..fdeff38fe1 100644
--- a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java
+++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java
@@ -4,7 +4,6 @@
 package de.uka.ilkd.key.gui.smt.settings;
 
 import java.math.RoundingMode;
-import java.nio.file.InvalidPathException;
 import javax.swing.*;
 
 import de.uka.ilkd.key.gui.MainWindow;
@@ -208,7 +207,7 @@ public void applySettings(MainWindow window) {
             String command = solverCommand.getText();
             String params = solverParameters.getText();
             long timeout = (long) (((Number) solverTimeout.getValue()).doubleValue() * 1000.0);
-            
+
             solverType.setSolverCommand(command);
             solverType.setSolverParameters(params);
             solverType.setSolverTimeout(timeout);