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