RFR: (XXXXS) 8221180: Deprecate AllowJNIEnvProxy

[Daniel D. Daugherty]

On 3/20/19 8:51 PM, David Holmes wrote:
> Bug: https://bugs.openjdk.java.net/browse/JDK-8221180
> webrev: http://cr.openjdk.java.net/~dholmes/8221180/webrev/

src/hotspot/share/runtime/arguments.cpp
     No comments.

src/hotspot/share/runtime/globals.hpp
     No comments.

test/hotspot/jtreg/runtime/CommandLine/VMDeprecatedOptions.java
     No comments.

Thumbs up! And agree that this is trivial.

Dan


>
> Trivial deprecation of ancient flag.
>
> Thanks,
> David
> -----