Changeset: dac00734675e Author: jvernee Date: 2019-03-07 14:02 +0100 URL: http://hg.openjdk.java.net/panama/dev/rev/dac00734675e 8220255: Disable jextract automatic option abbreviations Reviewed-by: sundar ! src/jdk.jextract/share/classes/com/sun/tools/jextract/Main.java