JavaDoc-Kommentare kompatibel zu Java 8 gemacht.