it seems that these tests require java 1.6 source level