Do we really want to require Java 7 to use the compiler?