Bug 254: fix selection problem for 9.1 version

[geziefer]

set english locale for Jakarta EE version number to convert correctly independent of locale used in execution

[eclipse-starter-bot]

Can one of the admins verify this patch?