Java-Version auf 1.7 geändert um Fehler mit Diamantoperator zu beheben