Reduce complexity of prover based shutdown getter even more

Author: BaierD

src/org/sosy_lab/java_smt/api/BasicProverEnvironment.java

@@ -217,5 +217,11 @@ default boolean registerUserPropagator(UserPropagator propagator) {
    *     ProverEnvironment}.
    * @throws UnsupportedOperationException if the solver does not support prover specific shutdown.
    */
-  ShutdownManager getShutdownManagerForProver() throws UnsupportedOperationException;
+  default ShutdownManager getShutdownManagerForProver() {
+    // Override this with the prover specific ShutdownManagers notifier for supporting solvers.
+    // The solver should then use the prover specific ShutdownManagers notifier for stopping
+    // instead of the contexts' notifier!
+    throw new UnsupportedOperationException(
+        "The chosen solver does not support isolated prover shutdown");
+  }
 }

src/org/sosy_lab/java_smt/basicimpl/AbstractProver.java

@@ -167,13 +167,4 @@ public void close() {
     closeAllEvaluators();
     closed = true;
   }
-
-  @Override
-  public ShutdownManager getShutdownManagerForProver() {
-    // Override this with the prover specific ShutdownManagers notifier for supporting solvers.
-    // The solver should then use the prover specific ShutdownManagers notifier for stopping
-    // instead of the contexts' notifier!
-    throw new UnsupportedOperationException(
-        "The chosen solver does not support isolated prover shutdown");
-  }
 }