From 0ee1dc9c848896bb62919a3ebb289299b9dca59f Mon Sep 17 00:00:00 2001
From: loki der quaeler <quaeler@gmail.com>
Date: Thu, 20 Feb 2020 14:11:35 -0800
Subject: [PATCH] Updating Oomph readme

. Noting 2019-09
. Hyperlinking download URL for markdown clients that do not auto-do-this
. Noting fallback to 2019-09 if problems are encountered
---
 general/ide/README.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/general/ide/README.md b/general/ide/README.md
index bb1e1dcbc..4b131f0cb 100644
--- a/general/ide/README.md
+++ b/general/ide/README.md
@@ -2,12 +2,13 @@ Eclipse Oomph is a tool to simplify and automate the setup of Eclipse developmen
 
 [A screencast is available that captures the written instructions below.](https://vimeo.com/190224035)
 
-0. Requires a recent - at the time of writing this is 11 - JDK (Java Development Environment) - OpenJDK is recommended.
-1. Install the Oomph Eclipse installer from https://wiki.eclipse.org/Eclipse_Installer
+0. Requires a recent - at the time of writing this is 13 - JDK (Java Development Environment) - AdoptOpenJDK is recommended.
+1. Install the Oomph Eclipse installer from [https://wiki.eclipse.org/Eclipse_Installer](https://wiki.eclipse.org/Eclipse_Installer)
 2. Start the downloaded Oomph installer
 3. Switch to "Advanced Mode" by clicking the button in the right upper corner depicted with three horizontal lines
 4. Select "Eclipse Platform" on the Product list (expand "Eclipse.org" node)
-  1. Choose "2018-12" as the product version at the bottom ![Chose Platform](https://raw.githubusercontent.com/lemmy/tlaplus/master/general/ide/images/00_PlatformSelection.png)
+  1. Choose "2019-09" from the Product Version combobox at the bottom ![Choose Platform](https://raw.githubusercontent.com/lemmy/tlaplus/master/general/ide/images/00_PlatformSelection.png)
+     1. You can try to use a more recent version of Eclipse, however if you run into troubles during the installation and set-up, choose "2019-09" instead.
 5. On the next screen, expand "Github Project" in the tree and select the check-box left to "TLA+" 
   1. Verify that "TLA+" shows up under "Project" at the bottom table and that the "Master" stream is selected ![Chose Project](https://raw.githubusercontent.com/lemmy/tlaplus/master/general/ide/images/01_ProjectSelection.png)
 6. On the next page, select whether to use anonymous Github access (read-only) from the "TLA+ Github Repository" dropdown list ![Chose anonymous access](https://raw.githubusercontent.com/lemmy/tlaplus/master/general/ide/images/02_Variables.png)
-- 
GitLab