Fixed handling of the --jre-options option in the "tsh" tool.