[foreign] RFR 8220255: Disable option jextract abbreviations

[Sundararajan Athijegannathan]

Looks good

-Sundar

On 07/03/19, 6:15 PM, Jorn Vernee wrote:
> Hi,
>
> Here's a (super simple) patch to disable automatic option 
> abbreviations of jextract/joptsimple.
>
> Bug: https://bugs.openjdk.java.net/browse/JDK-8220255
> Webrev: 
> http://cr.openjdk.java.net/~jvernee/panama/webrevs/8220255/webrev.00/
>
> Thanks,
> Jorn