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