ユーザーは Java プロジェクトでデフォルトの JRE とは異なる JRE を指定できるため、プロジェクトのビルドパスで構成された JRE のバージョンをプログラムで見つける方法はありますか?
Eclipse API を使用すると、クラスパスを介して JRE の名前 (ただし、ユーザー定義であるため、バージョンに関する情報は保証されません) を見つけることができますが、そこからバージョンに関する情報を抽出する方法がわかりません。
コンテキストは、Java プログラムが Eclipse 内で起動される前に検証を行っているということです。これには、特定の Java バージョンでコンパイルされた追加のファイルが必要になります。私が必要とするのは、ユーザーがそのプロジェクトに互換性のある JRE を選択したかどうかを確認することです。システム内のデフォルトのものを見つけるために java.version を実行できますが、その人が特にそのプロジェクトに別のものを選択していないことを保証するものではありません。
前もって感謝します。