}
protected ValidationOptions getValidationOptions(ComplianceLevel complianceLevel) {
ValidationOptions options = new ValidationOptions();
options.setPlatformURI(PuppetTarget.forComplianceLevel(complianceLevel, false).getPlatformURI());
options.setEncodingProvider(new IEncodingProvider() {
public String getEncoding(URI file) {
return "UTF-8";
}
});
options.setProblemsAdvisor(ValidationAdvisor.create(complianceLevel, new DefaultPotentialProblemsAdvisor()));