StyleConstants.setFontFamily(style, "monospaced");
StyleConstants.setForeground(style, COLOR_STDOUT);
style = StyleContext.getDefaultStyleContext()
.getStyle(StyleContext.DEFAULT_STYLE);
style = doc.addStyle(STYLE_STDERR, style);
StyleConstants.setFontFamily(style, "monospaced");
StyleConstants.setForeground(style, COLOR_STDERR);
// print streams (instantiate only once!)
teeDone = !((m_TeeOut == null) && (m_TeeErr == null));