| ... | ... | @@ -30,10 +30,7 @@ recommend OpenJDK since we use it for building internally. |
|
|
|
“openjdk-11-jdk” that installs OpenJDK 10. Do not use it! Instead,
|
|
|
|
search for a PPA that offers the correct package.
|
|
|
|
- **Windows/MacOS:** OpenJDK can be obtained from
|
|
|
|
[AdoptOpenJDK](https://adoptopenjdk.net/), a buildfarm sponsored by
|
|
|
|
companies depending on Java.
|
|
|
|
- Alternatively, you can also perform manual installation from the
|
|
|
|
[OpenJDK site](https://jdk.java.net/11/).
|
|
|
|
[Adoptium](https://adoptium.net/?variant=openjdk11), a buildfarm hosted by the Eclipse Adoptium project.
|
|
|
|
|
|
|
|
Installation Procedure
|
|
|
|
----------------------
|
| ... | ... | |
