Remove old getter for created shutdown manager in the BasicProverEnvironment

Author: BaierD

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

@@ -15,8 +15,6 @@
 import java.util.List;
 import java.util.Optional;
 import org.checkerframework.checker.nullness.qual.Nullable;
-import org.sosy_lab.common.ShutdownManager;
-import org.sosy_lab.common.ShutdownNotifier;
 import org.sosy_lab.java_smt.api.SolverContext.ProverOptions;
 
 /**
@@ -206,24 +204,4 @@ interface AllSatCallback<R> {
   default boolean registerUserPropagator(UserPropagator propagator) {
     return false;
   }
-
-  /**
-   * Returns the {@link ShutdownManager} registered for this {@link ProverEnvironment}. It is
-   * guaranteed to be a child of the {@link ShutdownNotifier} given to the creating {@link
-   * SolverContext}, resulting in shutdown when the {@link SolverContext}s notifier is shutting
-   * down. The notifier returned here can be shut down independently of the creating contexts
-   * notifier. JavaSMT will never attempt to shut down this manager on its own.
-   *
-   * @return a {@link ShutdownManager} who is the child of the {@link ShutdownNotifier} used in the
-   *     creating {@link SolverContext}, that can be used to shut down only this {@link
-   *     ProverEnvironment}.
-   * @throws UnsupportedOperationException if the solver does not support prover specific shutdown.
-   */
-  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");
-  }
 }