Changes in 4c04832: Updated eclipse version and plugin script in onboarding

				wiki/howto/onboarding.md
			
          @@ -8,7 +8,7 @@ First of all, make sure you've looked at [http://www.amazon.de/Patterns-Elements

           #### Installations

          -1. Eclipse (Eclipse IDE for Eclipse Committers, version 4.15.0 ["2020-03"]https://www.eclipse.org/downloads/packages/release/2020-03/r/eclipse-ide-eclipse-committers)), [http://www.eclipse.org](http://www.eclipse.org)

          +1. Eclipse (Eclipse IDE for Eclipse Committers, version 4.15.0 ["2020-06"](https://www.eclipse.org/downloads/packages/release/2020-06/r/eclipse-ide-eclipse-committers)), [http://www.eclipse.org](http://www.eclipse.org)

           2. Get the content of the git repository (see

           Steps to build and run the Race Analysis Suite below)

           3. Install the eclipse plugins (see Automatic Eclipse plugin installation below)

          @@ -22,9 +22,9 @@ Steps to build and run the Race Analysis Suite below)

           #### Automatic Eclipse plugin installation

          -The necessary Eclipse plugins described above can be automatically be installed into a newly unzipped version of [Eclipse IDE for Eclipse Committers "2020-03"](https://www.eclipse.org/downloads/packages/release/2020-03/r/eclipse-ide-eclipse-committers) by using the script "configuration/installPluginsForEclipse2020-03.sh". In addition, the script applies some updates to plugins packaged with Eclipse itself. To start the plugin installation, run the following command using your Eclipse installation directory as command line parameter for the script:

          +The necessary Eclipse plugins described above can be automatically be installed into a newly unzipped version of [Eclipse IDE for Eclipse Committers "2020-06"](https://www.eclipse.org/downloads/packages/release/2020-06/r/eclipse-ide-eclipse-committers) by using the script "configuration/installPluginsForEclipse2020-06.sh". In addition, the script applies some updates to plugins packaged with Eclipse itself. To start the plugin installation, run the following command using your Eclipse installation directory as command line parameter for the script:

          -    ./installPluginsForEclipse2020-03.sh "/some/path/on/my/computer/eclipse"

          +    ./installPluginsForEclipse2020-06.sh "/some/path/on/my/computer/eclipse"

           Be aware that with this script it's not possible to update the plugins to newer versions. Instead you can install a new version by unpacking the base package and executing the script.

...	...	@@ -8,7 +8,7 @@ First of all, make sure you've looked at [http://www.amazon.de/Patterns-Elements
8	8
9	9	#### Installations
10	10
11		-1. Eclipse (Eclipse IDE for Eclipse Committers, version 4.15.0 ["2020-03"]https://www.eclipse.org/downloads/packages/release/2020-03/r/eclipse-ide-eclipse-committers)), [http://www.eclipse.org](http://www.eclipse.org)
	11	+1. Eclipse (Eclipse IDE for Eclipse Committers, version 4.15.0 ["2020-06"](https://www.eclipse.org/downloads/packages/release/2020-06/r/eclipse-ide-eclipse-committers)), [http://www.eclipse.org](http://www.eclipse.org)
12	12	2. Get the content of the git repository (see
13	13	Steps to build and run the Race Analysis Suite below)
14	14	3. Install the eclipse plugins (see Automatic Eclipse plugin installation below)
...	...	@@ -22,9 +22,9 @@ Steps to build and run the Race Analysis Suite below)
22	22
23	23	#### Automatic Eclipse plugin installation
24	24
25		-The necessary Eclipse plugins described above can be automatically be installed into a newly unzipped version of [Eclipse IDE for Eclipse Committers "2020-03"](https://www.eclipse.org/downloads/packages/release/2020-03/r/eclipse-ide-eclipse-committers) by using the script "configuration/installPluginsForEclipse2020-03.sh". In addition, the script applies some updates to plugins packaged with Eclipse itself. To start the plugin installation, run the following command using your Eclipse installation directory as command line parameter for the script:
	25	+The necessary Eclipse plugins described above can be automatically be installed into a newly unzipped version of [Eclipse IDE for Eclipse Committers "2020-06"](https://www.eclipse.org/downloads/packages/release/2020-06/r/eclipse-ide-eclipse-committers) by using the script "configuration/installPluginsForEclipse2020-06.sh". In addition, the script applies some updates to plugins packaged with Eclipse itself. To start the plugin installation, run the following command using your Eclipse installation directory as command line parameter for the script:
26	26
27		- ./installPluginsForEclipse2020-03.sh "/some/path/on/my/computer/eclipse"
	27	+ ./installPluginsForEclipse2020-06.sh "/some/path/on/my/computer/eclipse"
28	28
29	29	Be aware that with this script it's not possible to update the plugins to newer versions. Instead you can install a new version by unpacking the base package and executing the script.
30	30