rev 13765 : 8205516: JFR tool Reviewed-by: mgronlun
*** 72,81 **** --- 72,82 ---- "javaws", "jcmd", "jconsole", "jcontrol", "jdeps", + "jfr", "jinfo", "jmap", "jmc", "jmc.ini", "jps",