在XMLProperties类中一段：
public XMLProperties(String file) {
this.file = new File(file);
try {
SAXBuilder builder = new SAXBuilder();
// Strip formatting
DataUnformatFilter format = new DataUnformatFilter();
builder.setXMLFilter(format);
SAXBuilder类中根本找不到setXMLFilter()这个方法，请大家指点。