Remove unnecessary comment in BitwuzlaTheoremProver

Author: BaierD

src/org/sosy_lab/java_smt/solvers/bitwuzla/BitwuzlaTheoremProver.java

@@ -41,8 +41,7 @@ class BitwuzlaTheoremProver extends AbstractProverWithAllSat<Void> implements Pr
         public boolean terminate() {
           return proverShutdownManager
               .getNotifier()
-              .shouldShutdown(); // shutdownNotifer is defined in the
-          // superclass
+              .shouldShutdown();
         }
       };
   private final Bitwuzla env;