Added getIntVector() to XmlConfig