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を設定していますので、これを書き換えれば完了です。