[docs] Add a question in the FAQ related the code mining is enabled. …

…to the freeze of SARL when

see #1041

Signed-off-by: Stéphane Galland <galland@arakhne.org>

docs/io.sarl.docs.markdown/pom.xml

@@ -39,6 +39,10 @@
 			<groupId>io.sarl</groupId>
 			<artifactId>io.sarl.sarldoc</artifactId>
 		</dependency>
+		<dependency>
+			<groupId>io.sarl</groupId>
+			<artifactId>io.sarl.eclipse</artifactId>
+		</dependency>
 		<dependency>
 			<groupId>io.sarl.maven</groupId>
 			<artifactId>sarl-maven-plugin</artifactId>

docs/io.sarl.docs.markdown/src/main/documentation/faq/GeneralFAQ.md

@@ -250,11 +250,29 @@ For enabling the SARL product content assist, we recommend to change its shortcu
 * Window > Preferences
 * General > Keys
 * Content Assist
-* Change the shortcut key
+
+And, change the shortcut key.
 
 ![Content assist shortcut change](./ctrlspaceprefs.png)
 
 
+### Why is the SARL development environment becoming slow or frozen?
+
+Sometimes the SARL product is entering into an invalid state and causes the garbage collector of its Java virtual
+machine to be slower and slower until a quasi freeze of the SARL product.
+Most of the times, it is due to an error occurring into the code-mining feature
+of the SARL editor. This feature shows up (in gray in the editor) the hidden or implicit peaces of code.
+Before the code-mining issues are definitively fixed, you could disable the code-mining feature in order
+to have your SARL development environment running without problem.
+
+For disabling the code-mining feature, go to:
+
+* Window > Preferences
+* SARL > Editors
+
+And, uncheck the option `[:Dynamic:](io.sarl.eclipse.preferences.Messages::SarlEditorPreferencePage_1)`.
+
+
 ## Implementation of SARL Applications