Merge branch 'master' into feature/gnumake4
treebc04426b6822527ac03bb986fa88d2827ebd5f9a
lrwxrwxrwx 63 .gitattributes -> /striped/bjoern/.jenkins/jobs/gnumake4/workspace/.gitattributes
-rw-r--r-- 246 .gitignore
drwxr-xr-x - apache-commons
drwxr-xr-x - ct2n
drwxr-xr-x - jfreereport
drwxr-xr-x - languagetool
drwxr-xr-x - migrationanalysis
drwxr-xr-x - mysqlc
drwxr-xr-x - nlpsolver
drwxr-xr-x - reportbuilder
drwxr-xr-x - sdext
drwxr-xr-x - swext
drwxr-xr-x - tomcat
drwxr-xr-x - xpdf