Save properties to an OutputStream. Use the header as a comment at the top of the file.
(OutputStream out, String header)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected