Use Java 6 feature explicitly