/**
     * The path identified by the Java {@code -agentpath} option.
     */
    AGENT("-agentpath"),

    /**
     * The path identified by the Javadoc {@code -doclet} option.
     */
    DOCLET("-doclet"),

    /**
     * The path identified by the Javadoc {@code -tagletpath} option.
     */
    TAGLETS("-tagletpath");

    /**