Merge branch 'patch/JAL-4298_synchronize_consoledoc' into develop

 Conflicts:
	src/jalview/gui/Console.java
still needs some tidying up

diff --cc src/jalview/gui/Console.java
index b8aad21,89380a3..cb60a3f
--- 1/src/jalview/gui/Console.java
--- 2/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@@ -621,14 -610,13 +622,10 @@@ public class Console extends WindowAdap
          {
            try
            {
-             this.wait(100); // ##### implicated BLOCKED
-             if (pin.available() == 0)
-             {
-               trimBuffer(false);
-             }
+             this.wait(100);
 -//            if (pin.available() == 0)
 -//            {
 -//              trimBuffer(false);
 -//            }
            } catch (InterruptedException ie)
            {
 +            jalview.bin.Console.debug("pin.available() error", ie);
            }
          }