Merge branch 'master' into develop
Konfiguration von Travis für Java 8 ergänzt.
JavaDoc-Kommentare kompatibel zu Java 8 gemacht.
Merge branch 'develop'