Update development environment setup documentation for JVM17 requirement interface

With the upgrade to Eclipse 2023-03, the minimum JVM went up to 17+, see #399 (closed). In !560 (merged) the instructions were changed to set up 2023-03, the the UI of the Eclipse installer adapts to the chosen version. So, in our documentation the step For Java 11+ VM select JRE 17.x.x - https://download.eclipse.org/justj/jres/17/updates/release/latest. needs to be For Java 17+ VM select JRE 17.x.x - https://download.eclipse.org/justj/jres/17/updates/release/latest., as the Eclipse installer knows that JVM 17+ is needed for 2023-03.