changed JMLAnnotatedClass#isValid() to use JMLSpecsAPI.validate(JMLAnnotatedClass) method