} else {
// report a validation error for unsupported element
ValidationContext vctx = (ValidationContext)ictx.getUserContext();
vctx.addFatal("No customizations allowed", new ProblemLocation(ictx));
}
} else {
// report a validation error for unknown element