Update XMLRepair.java