Add ggen validation msg

Author: grbeni

plugins/core/hu.bme.mit.gamma.genmodel.model/src/hu/bme/mit/gamma/genmodel/util/GenmodelValidator.java

@@ -242,6 +242,13 @@ public Collection<ValidationResultMessage> checkTasks(Verification verification)
 						new ReferenceInfo(GenmodelModelPackage.Literals.VERIFICATION__QUERY_FILES, index)));
 			}
 		}
+		if (verification.isBackAnnotateToOriginal()) {
+			validationResultMessages.add(new ValidationResultMessage(ValidationResult.INFO,
+				"This setting can be used only if the default name is not changed during the " +
+					"derivation of the analysis model ('file' setting is not used in the analysis task)",
+						new ReferenceInfo(GenmodelModelPackage.Literals.VERIFICATION__BACK_ANNOTATE_TO_ORIGINAL)));
+		}
+		
 		return validationResultMessages;
 	}