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