removed some out.flush() statements. In my simple test (writing 65k plans to a file), the new code used 20% less than than the old code.
Authored by: mrieser 2008-02-09
Parent: [r607]
Child: [r609]
