JOptSimple automatically tries to recognize abbreviations of options, but this makes the set of options less stable, and can lead to cryptic error messages (see https://mail.openjdk.java.net/pipermail/panama-dev/2019-March/004801.html)

We should disable the automatic abbreviations.