423397 - Jetty server does not run on Linux server startup because of
 a bug in jetty.sh script.

Fixed by using the "*" instead of "+" for numbers so that sed does not
complain and it's also non-GNU compliant.