java - JDOM を使用した XML の変更

Question

JDOM を使用して XML ドキュメントを変更しようとしていますが、問題はファイル内の何も変更されないことです。

ファイルを変更するためにインターネットを検索しており、どのサイトでもファイルの保存方法を説明しています。

私が間違っていること、または別の方法があるかどうかを教えてください。

メソッドコードは次のとおりです。

public void ocuparPlazaParking(){

        //Se crea un SAXBuilder para poder parsear el archivo
        SAXBuilder builder = new SAXBuilder();
        File xmlFile = new File( "C:/Users/Alejandro/Parking/parking.xml");

        try
        {       
            Document document = (Document) builder.build( xmlFile );

            //Se obtiene la raiz 'parking'
            Element elementoParking = document.getRootElement();


            //Obtengo las plantas
            List listadePlantas =  elementoParking.getChildren( "planta" );
            for ( int i=0; i < listadePlantas.size(); i++ ){

                Element elementoPlanta = (Element) listadePlantas.get(i);       

                //Obtengo las filas
                List listadeFilas =  elementoPlanta.getChildren( "fila" );
                for ( int j = 0; j < listadeFilas.size(); j++ ){
                    //obtengo la fila
                    Element elementoFila = (Element) listadeFilas.get(j);           


                    //Obtengo los bloques

                    List listadeBloques =  elementoFila.getChildren( "bloque" );
                    for ( int k = 0; k < listadeBloques.size(); k++ ) {

                        Element elementoBloque = (Element) listadeBloques.get(k);


                        List listadeElementos =  elementoBloque.getChildren( "elemento" );
                        for ( int l = 0; l < listadeElementos.size(); l++ ){
                            Element elementoElemento = (Element) listadeElementos.get(l);

                            if(elementoElemento.getChildText("numero").equals("1003")){

                                elementoElemento.getChild("estado").setText("ocupada");
                            }

                        }    
                    }   
                }
            }  
        }

        catch ( IOException io ) {
            System.out.println( io.getMessage() );
        }catch ( JDOMException jdomex ) {
            System.out.println( jdomex.getMessage() );
        }           
    }   

XML の DTD は次のとおりです。

<?xml version="1.0" encoding="UTF-8"?>
<!ELEMENT parking (planta+)>
<!ATTLIST parking nombreParking CDATA #REQUIRED>
<!ATTLIST parking direccion CDATA #REQUIRED>
<!ATTLIST parking poblacion CDATA #REQUIRED>
<!ATTLIST parking pais CDATA #IMPLIED>

<!ELEMENT planta (fila+)>
<!ATTLIST planta numPlazas CDATA #REQUIRED>
<!ATTLIST planta numeroPlanta CDATA #REQUIRED>
<!ATTLIST planta tamano CDATA #IMPLIED>

<!ELEMENT fila (bloque+)>
<!ATTLIST fila altoFila CDATA #REQUIRED>
<!ATTLIST fila anchoFila CDATA #REQUIRED>

<!ELEMENT bloque (elemento+)>
<!ATTLIST bloque anchoBloque CDATA #REQUIRED>

<!ELEMENT elemento (tipo,subtipo,estado,posicion,longitud,numero)>
<!ELEMENT tipo (#PCDATA)>
<!ELEMENT subtipo (#PCDATA)>
<!ELEMENT estado (#PCDATA)>
<!ELEMENT longitud (#PCDATA)>
<!ELEMENT posicion (#PCDATA)>
<!ELEMENT numero (#PCDATA)>