git: openjdk/mobile: 8231626: DeoptimizeRandom should not be a product flag

[duke]

Changeset: 8200eb4d
Author:    Christian Hagedorn <chagedorn at openjdk.org>
Date:      2019-10-02 08:27:17 +0000
URL:       https://github.com/openjdk/mobile/commit/8200eb4d

8231626: DeoptimizeRandom should not be a product flag

The DeoptimizeRandom flag is changed to develop since it has no effect in production.

Reviewed-by: neliasso, thartmann

! src/hotspot/share/runtime/globals.hpp
! test/hotspot/jtreg/compiler/codecache/stress/UnexpectedDeoptimizationAllTest.java
! test/hotspot/jtreg/compiler/codecache/stress/UnexpectedDeoptimizationTest.java