Merge branch 'release-0.8.8' 0.8.8
-rw-r--r-- 8 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 4181 pom.xml
drwxr-xr-x - src