Unresponsive GUI if backend tool produces a lot of stdout/stderr
To reproduce run MPSat in technology mapping mode with `-v9` option. The Output window becomes flooded with updates and GUI becomes unresponsive. A solution may be to throttle update requests.

diff --git a/WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java b/WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java
index c0c93227a..cd2d25ffe 100644
--- a/WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java
+++ b/WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java
@@ -12,7 +12,8 @@ public class ExternalProcess {
 
     abstract static class StreamReaderThread extends Thread {
         private final ReadableByteChannel channel;
-        private final ByteBuffer buffer = ByteBuffer.allocate(1024);
+        // Buffer is increased to 1MiB to reduce the number of updates for external processes with heavy output.
+        private final ByteBuffer buffer = ByteBuffer.allocate(1024 * 1024);
 
         StreamReaderThread(ReadableByteChannel channel) {
             this.channel = channel;
['WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java']