Latest version of dk.brics.automaton:automaton
https://javadoc.io/doc/dk.brics.automaton/automaton
Current version 1.11-8
https://javadoc.io/doc/dk.brics.automaton/automaton/1.11-8
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/dk.brics.automaton/automaton/1.11-8/package-list