JREの変更時について
ParCodeEditorの実行にはJAVAが必須となっていますが、インストールしてあるJREのバージョンを変えたときのことについて記述しておきます。
●Ver1.02bより前
ParCodeEditor Ver1.02bよりも前のバージョンでは、JREのバージョンアップに対しては考慮されていません。
従って対応は、次のどちらかになります。
A.バッチファイルを全て手で修正する。
B.ParCodeEditor Ver1.02bをインストールする
簡単なので、Bの方法をお勧めします。
●Ver1.02b以降
Ver1.02bより全てのバッチファイルは、まず環境変数JAVA_HOMEを参照するようになりました。
従って、JAVA_HOMEを設定すれば自動的に使用するJREを変更できます。
JAVA_HOMEを使っていない場合、setupEnv.batの中でJAVA_HOMEを設定していますので、これを書き換えれば完了です。