プッシュクライアント設定ファイルは、Android版ではJavaのプロパティファイル形式、iOS版ではplist形式です。クライアント設定ファイルと同形式となりますので、詳細は「付録F クライアント設定ファイル」の「F.1 ファイル形式」を参照してください。