Add the tomcat java_options to the default run.sh.