Remove unnecessary exceptions from test methods in TimeoutTest

Author: BaierD

src/org/sosy_lab/java_smt/test/TimeoutTest.java

@@ -142,7 +142,7 @@ public void testProverInterruptWithSubsequentNewProverUsageInt()
   // Test shutdown of context-wide shutdown manager. No prover should be usable afterward!
   @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testContextInterruptWithSubsequentNewProverUsageBv()
-      throws InterruptedException, SolverException {
+      throws InterruptedException {
     requireBitvectors();
 
     testBasicContextTimeoutBv(() -> context.newProverEnvironment());
@@ -158,7 +158,7 @@ public void testContextInterruptWithSubsequentNewProverUsageBv()
   // Test shutdown of context-wide shutdown manager. No prover should be usable afterward!
   @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testContextInterruptWithSubsequentNewProverUsageInt()
-      throws InterruptedException, SolverException {
+      throws InterruptedException {
     requireIntegers();
 
     testBasicContextTimeoutInt(() -> context.newProverEnvironment());