• Y - ModelCheck コンフィギュレーションファイルを Unicode に変換します。

• N - これがデフォルトです。ModelCheck コンフィギュレーションファイルを Unicode に変換しません。このオプションは、「ModelCheck コンフィギュレーションツール」(ModelCheck Configuration Tool) ダイアログボックスまたは Unicode 準拠のその他のエディタでコンフィギュレーションファイルを編集しているときに使用します。