Latest version of com.github.com-github-javabdd:com.github.javabdd
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd
Current version 1.0.1
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd/1.0.1
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.github.com-github-javabdd/com.github.javabdd/1.0.1/package-list