Makes it compile also with Java 1.6