Update 2013-10-14-jvm-command-line-options.md