KodKod requires JDK 1.7 so don't test on openjdk6.