setProgress(0.0);
handle.progress(state);
}
};
final Parser parser = new Parser();
final OutlineTopComponent component = OutlineTopComponent.findInstance();
component.requestActive();
RequestProcessor.getDefault().post(new Runnable() {
public void run() {
GraphDocument document = null;
try {
document = parser.parse(reader, is, parseMonitor);
parseMonitor.setState("Finishing");
component.getDocument().addGraphDocument(document);
} catch (SAXException ex) {
String s = "Exception during parsing the XML file, could not load document!";
if (ex instanceof XMLParser.MissingAttributeException) {
XMLParser.MissingAttributeException e = (XMLParser.MissingAttributeException) ex;
s += "\nMissing attribute \"" + e.getAttributeName() + "\"";