After JDK-8309271 it will be necessary to update the src/jdk.jcmd/share/man/jcmd.1 man page, which means changes to the markdown source in the closed repository.
[options] are added to Compiler.directives_add, Compiler.directives_clear, Compiler.directives_remove with one optional '-r' flag; Compiler.directives_replace is added with parameters similar to Compiler.directives_add. So for instance there should be man for Compiler.directives_replace looking like
Compiler.directives_replace [options] *arguments*
Clear directives stack, and load new compiler directives from file.
Impact: Low
Permission: java.lang.management.ManagementPermission(monitor)
arguments:
filename: The name of the directives file (STRING, no default value)
Note:
The following options must be specified using either key or key=value syntax.
options:
- -r: (Optional) Refresh affected methods (BOOLEAN, false)