Suggestions from code review

key.ui/src/main/java/de/uka/ilkd/key/core/Watchdog.java

@@ -10,7 +10,7 @@
 
 /**
  * Watchdog to monitor the state of the KeY system. If all worker and UI threads
- * are waiting / blocked, a deadlock is reported.
+ * are waiting / blocked, a deadlock is reported to the log.
  *
  * @author Arne Keller
  */
@@ -31,6 +31,9 @@ private Watchdog() {
 
     }
 
+    /**
+     * Start the watchdog in a background thread.
+     */
     public static void start() {
         new Thread(Watchdog::run, "Watchdog").start();
     }

key.ui/src/main/java/de/uka/ilkd/key/ui/MediatorProofControl.java

@@ -101,7 +101,7 @@ public void stopAutoMode() {
     @Override
     public void waitWhileAutoMode() {
         if (SwingUtilities.isEventDispatchThread()) {
-            LOGGER.warn("", new IllegalStateException(
+            LOGGER.error("", new IllegalStateException(
                 "tried to block the UI thread whilst waiting for auto mode to finish"));
             return; // do not block the UI thread
         }

key.ui/src/main/java/de/uka/ilkd/key/util/ThreadUtilities.java

@@ -10,6 +10,9 @@
 public final class ThreadUtilities {
     private static final Logger LOGGER = LoggerFactory.getLogger(ThreadUtilities.class);
 
+    private ThreadUtilities() {
+    }
+
 
     /**
      * Invoke a runnable object on the AWT event thread and wait for the execution to finish.
@@ -61,7 +64,7 @@ public static Thread[] getThreads() {
             rootGroup = parentGroup;
         }
 
-        Thread[] threads = new Thread[rootGroup.activeCount()];
+        Thread[] threads = new Thread[rootGroup.activeCount() + 1];
         while (rootGroup.enumerate(threads, true) == threads.length) {
             threads = new Thread[threads.length * 2];
         }