print ("HTMLReader.textAreaContent not implemented yet");
try { int offset = textAreaDocument.getLength(); String text = new String(data); textAreaDocument.setInitialText(text); textAreaDocument.insertString(offset, text, null); } catch (BadLocationException ex) {   assert false; }
    protected void textAreaContent(char[] data)      throws NotImplementedException    {      // FIXME: Implement.      print ("HTMLReader.textAreaContent not implemented yet");    }