new QueueingXercesBasedDOMValidator(
repositorySchemaResolver,
errorReporter);
boolean fasterValidation = true; // Default to trueDefault();
BuilderPlugin builderPlugin = BuilderPlugin.getDefault();
if (builderPlugin != null) {
// If there is a preference for fasterValidation then use it
IPreferenceStore store =
BuilderPlugin.getDefault().getPreferenceStore();
fasterValidation = store.getBoolean(