result.add(m_dictionaryFile.toString()); if (getSaveDictionaryInBinaryForm()) { result.add("-binary-dict");
result.add(m_dictionaryFile.toString()); if (getSaveDictionaryInBinaryForm()) { result.add("-binary-dict");
result.add(m_dictionaryFile.toString()); if (getSaveDictionaryInBinaryForm()) { result.add("-binary-dict");
result.add(m_dictionaryFile.toString()); if (getSaveDictionaryInBinaryForm()) { result.add("-binary-dict");