RFR 8160063: Provide a means to disable a plugin via the command line

[Claes Redestad]

+1

I agree it's good with a standard way to disable plugins like this on a 
high level.

This also solves an issue I was just about to file a bug for where the 
GenerateJLIClassesPlugin generates a few basic forms even when 
"disabled" with =none

/Claes

On 2016-09-15 16:31, Sundararajan Athijegannathan wrote:
> Please review http://cr.openjdk.java.net/~sundar/8160063/webrev.01/ 
> for https://bugs.openjdk.java.net/browse/JDK-8160063
>
> * Adding --disable-<plugin_name> option for any plugin that is 
> auto-enabled.
> * Removed ad-hoc "none" option of generate-jli-classes plugin.
> * Simple test to make sure --disable-generate-jli-classes option is 
> accepted.
> * Manual verified that when generate-jli-classes plugin is 
> deactivated, JLI classes are not generated.
>
> Thanks,
> -Sundar
>