if (theProfile != null)
theProfileName = theProfile.getName();
if (theProfileName == null || theProfileName.equals(""))
theProfileName = "(no profile)";
output.addLine("Validation : starting validation. Profile = " + theProfileName);
theValidator.validateAgainstSchema(theModel,theSchema);
output.addLine("Validation : validation done") ;
Iterator it = output.getErrorLines().iterator();
while (it.hasNext())
pimviewer.colorTextLine(((Integer)it.next()).intValue());