Re: [jboss-as7-dev] How do I pipe the output of a command/operation to a file?