Merge pull request #776 from Yakindu/issue_#712_jre_not_found

Documentation: section on JRE not found added (issue #712).

plugins/org.yakindu.sct.doc.user/src/Part1-Installation-Guide/00_installation.textile

@@ -10,6 +10,8 @@ The installation process boils down to
 
 This is explained in more detail in section ""Platform overview"":#platform-overview and the following sections.
 
+Java developers might want to read section "JRE not found":#jre-not-found, in case they encounter a certain problem.
+
 h2(#system-requirements). System requirements
 
 h3(#java). Java
@@ -375,3 +377,20 @@ Go to the _Install/Update → Automatic Updates_ section. Here you can configure
 
 p=. Configuring automatic update
 
+h2(#jre-not-found). JRE not found
+
+If you want to develop Java source code, you need a Java Runtime Environment (JRE) or Java Development Kit (JDK) in your workspace.
+
+Usually Eclipse's Java Development Toolkit (JDT), which is bundled with YAKINDU Statechart Tools, automatically finds one or more JREs on your machine. However, under certain circumstances this won't work and even the JRE that is used to run Eclipse cannot be found. In this case, you will have to add a JRE definition to your workspace by hand.
+
+In order to check whether you are affected, proceed as follows:
+
+# In the main menu, select _Window → Preferences_. The _Preferences_ window opens.
+# In the _Preferences_ window, select _Java → Installed JREs_.
+
+If the list of installed JREs is empty, you are affected by the problem and will have to manually add a JRE definition. Click on the _Add…_ button and follow the _Add JRE_ wizard. The Eclipse documentation explains in more detail how to "add a new JRE definition":http://help.eclipse.org/neon/index.jsp?topic=%252Forg.eclipse.jdt.doc.user%252Ftasks%252Ftask-add_new_jre.htm to your workspace.
+
+!(standard-image)images/installed_jres_010.png(Installed JREs)!
+
+p=. Installed JREs
+