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();
}
}