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