@Check
 public void checkDefaultProfileDefinesLifecycle(Profile profile) {
   ResourceSet rs = profile.eResource().getResourceSet();
   Profile defaultProfile = profileQueries.getDefaultProfile(rs);
   if (defaultProfile != null && defaultProfile.getLifecycle() == null) {
     warning(
         "You should declare a Lifecyle default profile like this: \"lifecycle DefaultLifecycle { ...\"",
         ProfileDslPackage.Literals.PROFILE__NAME);
   }
 }
 @Check
 public void checkOneProfleMarkedAsDefault(Profile profile) {
   ResourceSet rs = profile.eResource().getResourceSet();
   Profile defaultProfile = profileQueries.getDefaultProfile(rs);
   if (defaultProfile == null) {
     warning(
         "You should declare one profile as default like this: \"default soa-profile ...\"",
         ProfileDslPackage.Literals.PROFILE__NAME);
   }
 }