java.awt.GraphicsEnvironment ge =
java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment();
if(!ge.isHeadless()) {
if (m_outText == null) {
m_outText = new JTextArea(20, 80);
m_history = new ResultHistoryPanel(m_outText);
}
m_outText.setEditable(false);
m_outText.setFont(new Font("Monospaced", Font.PLAIN, 12));
m_outText.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
m_history.setBorder(BorderFactory.createTitledBorder(Messages.getInstance().getString("TextViewer_SetUpResultHistory_BorderFactoryCreateTitledBorder_Text")));