Update For-developers.md

doc/For-developers.md

@@ -15,7 +15,7 @@ The projects are currently developed and tested with [Oxygen](https://www.eclips
 * If Gradle integration is not part of your installed Eclipse, install it from the _Eclipse Marketplace_, e.g. the _Buildship: Eclipse Plug-ins for Gradle_ (search for _Buildship Gradle Integration_).
   * _Optional: Also install the Eclipse Groovy tooling from <https://github.com/groovy/groovy-eclipse/wiki>._
 * Add your fork (or the main repository) to Eclipse in the _Git Repositories_ window.
-* To import the projects, choose _File / Import..._ / _Git_ / _Projects from Git_, then choose _Existing local repository_, select the repository and just use the default settings for the rest of the import process.
+* To import the projects, choose _File / Import..._ / _Gradle_ / _Existing Gradle Project_, specify the root directory and use the default settings.
 * At this point the projects may contain errors (due to some files not being generated). Open a console at the repository root directory and type `./gradlew build` on Linux or `gradlew.bat build` on Windows. After the `BUILD SUCCESSFUL` message, refresh the projects in Eclipse.
 * If you use the Z3 solver, open the project `hu.bme.mit.theta.solver.z3` and right click on `com.microsoft.z3.jar` under _Project and External Dependencies_. Select _Build path_ / _Configure Build Path..._ and on the _Libraries_ tab select the _Native library location_ entry under _Project and External Dependencies_. Click on _Edit_ and browse the _lib_ folder that is in the root directory of the repository.
 * There is a code formatting profile (ThetaFormatterProfile.xml) in this directory. In Eclipse, go to _Window_ / _Preferences_ / _Java_ / _Code Style_ / _Formatter_ and import the profile. You can enable automatic formatting on save under _Java_ / _Editor_ / _Save Actions_.