if (getRawOutput()) { result.add("-D");
if (getRawOutput()) { result.add("-D");
if (getRawOutput()) { if (m_ZipDest == null) { m_ZipDest = new OutputZipper(m_OutputFile);
if (getRawOutput()) { if (m_ZipDest == null) { m_ZipDest = new OutputZipper(m_OutputFile);