jdk/make/lib/Lib-jdk.management.agent.gmk
Fri, 03 Feb 2017 08:54:58 -0800 mchung 8173858: Rename libmanagement_rmi to libmanagement_agent
Tue, 31 Jan 2017 20:06:32 -0800 mchung 8173608: Separate JDK management agent from java.management module
less more (0) tip