Since we want to manage JREs for different platforms, the respective code needs to become a bit more elaborate. Therefore, introduce a new platform package with the Platform utility class and OS and Arch enums.
In addition, start working on jre-related classes to define and handle JREArtefacts to be downloaded and managed.
How to test
Ensure that the launcher is still working as before (no new features).
714 contains part of what was here but only for target platforms. JRE artifacts are not handled yet and #714 diverges from this, meaning that this pull request will likely need a re-write to base it on those changes instead.
Contains
Since we want to manage JREs for different platforms, the respective code needs to become a bit more elaborate. Therefore, introduce a new
platform
package with thePlatform
utility class andOS
andArch
enums.In addition, start working on
jre
-related classes to define and handleJREArtefact
s to be downloaded and managed.How to test
Ensure that the launcher is still working as before (no new features).
Outstanding before merging
Not yet ready for merging.