trying to speed up writing of plans to file, mostly by removing string concatenations in favor of multiple calls to out.write(). String concatenation with + generates many new String objects that must be allocated and later garbage collected, leading so some overhead.
