Read JAVA_OPTIONS in jetty.sh

[fanf]

Fixes #8152

[joakime]

This is not necessary, as the JAVA_OPTIONS carries over to the JVM itself without reference on the command line.

Also, since a forked JVM is highly possible, it's recommended that you put what used to be in JAVA_OPTIONS is now in your ${jetty.base}/start.d/exec.ini (once you have the --add-module=exec called)

[fanf]

Oh. The paramaters where not taken into account anymore without that change.
But OK, there must be something else happening. I will look at the exec.ini option.
Thanks, and sorry for the noise then

[joakime]

Don't worry about it.
This feels like a harmless addition to jetty.sh, so I'm leaning towards merging it.
Just testing a few different scenarios where the $JAVA_OPTIONS and ${jetty.base}/start.d/exec.ini conflict and see what happens.

[joakime]

@fanf we need you to have a valid Eclipse ECA so we can merge this.

[fanf]

Sorry for the delay, it is now done

[fanf]

Hum, no, email inconsistency, let me do that again

[fanf]

OK, done for real