Make sure it compiles for the right versions of Java