Fixed compilation failure under Java 7