Flush XML file only after major events (Properties or Progress)
Flush XML file only after major events (Properties or Progress)

For very large counterexamples we were seeing significant performance
problems due to flushing to the disk too often. Now we only flush for
major events that an external reader would be interested in.

andrewkatis/jkind-1,agacek/jkind,lgwagner/jkind,andrewkatis/jkind-1,backesj/jkind,backesj/jkind,agacek/jkind,lgwagner/jkind