new Thread() {
public void run() {
char [] buffer = new char[4096];
try {
Document doc = new XMLDocument();
ParsedURL purl = new ParsedURL(svgDocument.getURL());
InputStream is
= u.openStream(getInputHandler(purl).
getHandledMimeTypes());
// u.openStream(MimeTypeConstants.MIME_TYPES_SVG);
Reader in = XMLUtilities.createXMLDocumentReader(is);
int len;
while ((len=in.read(buffer, 0, buffer.length)) != -1) {
doc.insertString(doc.getLength(),
new String(buffer, 0, len), null);
}
ta.setDocument(doc);
ta.setEditable(false);