build: fix Eclipse project generation instructions

BuildShip and Gradle :eclipse are incompatible:
https://github.com/eclipse/buildship/issues/267#issuecomment-547318667

Therefore, we run :eclipseJdt manually instead to genrate the JDT
configuration to ignore @SuppressWarning unknown warnings, which lets us
silence Sonar warnings in-line.

We also run :generateXtext to make sure all generated sources are ready
for the Eclipse build.

1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index a42acfa2..c92f615f 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@
           
 7. Clone the project Git repository but do not import it into Eclipse yet.
 
-8. Open a new terminal an run `./gradlew build` (`.\gradlew build` on Windows) in the cloned repository. This should complete without any compilation errors. If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively.
+8. Open a new terminal an run `./gradlew generateXtext eclipseJdt` (`.\gradlew generateXtext eclipseJdt` on Windows) in the cloned repository. This should complete without any compilation errors. If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively.
 
 9. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse.
   Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_.