public static void flagDocumentAsCorrected(Element element){
  Document doc=element.getOwnerDocument();
  if (doc != null) {
    doc.setUserData("autoCorrected","true",null);
  }
}

public static void flagDocumentAsCorrected ( Element element ) { Document doc = element . getOwnerDocument ( ) ; if ( doc != null ) { doc . setUserData ( "autoCorrected" , "true" , null ) ; } }
flags a mini - language xml document as corrected .
