X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FHelp.java;fp=src%2Fjalview%2Fgui%2FHelp.java;h=8829be919fdbf204a83b19cca147ed389b6a32ff;hb=469dc5a0e6d06a2c8a27f27b712ccfdbe3314ee4;hp=658b34fbbad3ce98152659f054b59d1d947db972;hpb=f32142e854e6eadb5c85c4379d596369bd7098c5;p=jalview.git

diff --git a/src/jalview/gui/Help.java b/src/jalview/gui/Help.java
index 658b34f..8829be9 100644
--- a/src/jalview/gui/Help.java
+++ b/src/jalview/gui/Help.java
@@ -133,7 +133,7 @@ public class Help
         hb.setCurrentID(id.getId());
       } catch (BadIDException bad)
       {
-        System.out.println("Bad help link: " + id.getId()
+        jalview.bin.Console.outPrintln("Bad help link: " + id.getId()
                 + ": must match a target in help.jhm");
         throw bad;
       }