Bug 72167 - ProcessConsole should extend IOConsole

org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsole.java

diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsole.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsole.java
index 9f84312..83073f3 100644
--- a/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsole.java
+++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsole.java
@@ -316,7 +316,9 @@
             //FIXME: should close output streams? Need to store references.
         } catch (IOException ioe) {
         }
-        patterns.clear();
+        synchronized (patterns) {
+            patterns.clear();
+        }
     }
     
     /**