Review Request: JDK-8173858: Rename libmanagement_rmi to libmanagement_agent

[David Holmes]

Hi Mandy,

Looks reasonable.

No tests that need changing?

Thanks,
David

On 3/02/2017 8:27 AM, Mandy Chung wrote:
> libmanagement_agent should be the proper library name for jdk.management.agent.  It was an oversight with the current name.
>
> http://cr.openjdk.java.net/~mchung/jdk9/webrevs/8173858/webrev.00/
>
> This patch also takes out the qualified exports of java.base/jdk.internal.vm  to java.management which is not needed.
>
> Mandy
>