/** Clear the current console text area. */ public synchronized void clear() { if (appender != null) { appender.clear(); } }