}
m_headerField.setText(main.textChild("header"));
ExtendedElement pause = main.child("pause");
if (pause != null) {
m_pauseMessageField.setText(pause.text());
m_pauseDelayField.setValue(new Integer(pause.intAttribute("delay")));
if (pause.attribute("unit").equals("minutes"))
m_pauseMinutesButton.setSelected(true);
else m_pausePagesButton.setSelected(true);
}
}