This looks wrong to me, we're using Java 1.7.