public void setDisplayText(String newDisplayText) {
super.setDisplayText(newDisplayText);
displayTexts = new Vector();
int x = newDisplayText.toUpperCase().indexOf("<P>");
while (x >= 0) {
String s = newDisplayText.substring(0, x).trim();
if (s.length() > 0) displayTexts.addElement(s);
newDisplayText = newDisplayText.substring(x + 3).trim();
x = newDisplayText.toUpperCase().indexOf("<P>");
}
if (newDisplayText.length() > 0) displayTexts.addElement(newDisplayText);
}
