Appending JAVA_OPTS_EXT to JAVA_OPTS.