Obrigado pela resposta.
Penso que sim pois mesmo no validador a mensagem é a seguinte:
[09:06:57] A validar...
[09:06:57] 1: org.xml.sax.SAXParseException; lineNumber: 13; columnNumber: 35; cvc-pattern-valid: Value 'Ilha de' is not facet-valid with respect to pattern '([0-9]{4}-[0-9]{3})' for type 'SAFTCVPostalCode'.
[09:06:57] Terminado!
o que é igual ao que tenho no .xsd, no entanto o .xsd que tenho e a combo que posso escolher no validador é a versão 1.01_01 que pode estar desatualizada.
Onde posso encontrar novo .xsd e novo validador?