Disabled javadoc because of open-jdk-11 issue
-rwxr-xr-x 118 .gitignore
-rw-r--r-- 7651 COPYING
-rw-r--r-- 84 TODO.org
drwxr-xr-x - doc
-rw-r--r-- 4719 pom.xml
drwxr-xr-x - src
drwxr-xr-x - tools