super.setText(t);
try {  Document doc = getDocument(); doc.remove(0, doc.getLength()); if (t == null || t == "") return;   getEditorKit().read(new StringReader(t), doc, 0);
    public void setText(String t)    {		super.setText(t);    }