private ValidationOptions getValidationOptions( Collection<File> moduleLocations, Collection<File> importedModuleLocations) { ValidationOptions options = new ValidationOptions(); options.setCheckLayout(checkLayout); options.setCheckModuleSemantics(checkModuleSemantics); options.setCheckReferences(checkReferences); if (moduleLocations.size() == 1 && getModulesDir().equals(moduleLocations.iterator().next())) options.setFileType(FileType.MODULE_ROOT); else options.setFileType(FileType.PUPPET_ROOT); options.setPlatformURI( PuppetTarget.forComplianceLevel(complianceLevel, false).getPlatformURI()); options.setEncodingProvider( new IEncodingProvider() { public String getEncoding(URI file) { return UTF_8.name(); } }); options.setSearchPath(getSearchPath(moduleLocations, importedModuleLocations)); options.setProblemsAdvisor(potentialProblemsAdvisor); return options; }