Update README.md

Author: junkerm

README.md

@@ -1,14 +1,15 @@
 # Specmate
 
 ## How to set up your development environment
-1. Install Eclipse 2019-03 Modeling Tools
-2. From the Eclipse Marketplace, install 
+1. Install Java 11 JDK
+2. Install Eclipse 2019-06 Modeling Tools
+3. From the Eclipse Marketplace, install 
     - bndtools 4.2
-3. From the update site http://download.eclipse.org/acceleo/updates/releases/3.7, install Acceleo
-4. Install node js version 10
-5. In the folder web, run npm run init.
-6. Import all projects in the bundles folder into your Eclipse workspace
-7. Open specmate-std-env/dev-specmate-all.bndrun and hit the run button
+4. From the update site http://download.eclipse.org/acceleo/updates/releases/3.7, install Acceleo
+5. Install node js version 10
+6. In the folder web, run npm run init.
+7. Import all projects in the bundles folder into your Eclipse workspace
+8. Open specmate-std-env/dev-specmate-all.bndrun and hit the run button
 
 ## Developing the GUI