Specifying -source 1.5 so that it compiles with non-1.5 JDKs