made FileExtMismatchXML.getDefault() synchronized