Fixed a parse bug in an obscure version/flag combination in JRockit 1.5_12