/** Fired when a file is changed. * @param fe the event describing context where action has taken place */ public void fileChanged (FileEvent fe) { if (getPrimaryFile ().equals (fe.getFile ())) { // the main file changed => invalidate DOM document //resolveInfo (getPrimaryFile ()); //reparse info again clearDocument (); String prevId = parsedId; parsedId = null; // parse update only if the ID is different waitFinished (prevId); } }