Problema con jdom...

[xxdavide84xx]

Eseguendo questo file JDOMChecker.java:

import java.io.IOException;
import org.jdom.JDOMException;
import org.jdom.input.SAXBuilder;

public class JDOMChecker
{
  public static void main(String[] args)
  {
    if ( args.length == 0 )
    {
      System.out.println("Usage: java JDOMChecker URL");
      return;
    }
    //Istanzio un oggetto di tipo SAXBuilder che sarebbe il parser
    SAXBuilder parser = new SAXBuilder();
    try
    {
      //Controlla se il documento XML è ben formato o meno
      parser.build(args[0]);
      System.out.println(args[0] + " E' ben formato.");
    }
    catch (JDOMException e)
    {
      System.out.println(args[0] + " non è ben formato.");
      System.out.println(e.getMessage());
    }
    catch (IOException e)
    {
      System.out.println("Non è possibile esaminare " + args[0]);
      System.out.println(" perchè " + e.getMessage());
    }
  }
}

Mi segnala questo errore:
C:\Documents and Settings\venturi davide\Desktop\JDOMChecker.java:27: exception java.io.IOException is never thrown in body of corresponding try statement
catch (IOException e)
^
1 error
COme fare per risolverlo?!?

[andbin]

Originariamente inviato da xxdavide84xx
Mi segnala questo errore:
C:\Documents and Settings\venturi davide\Desktop\JDOMChecker.java:27: exception java.io.IOException is never thrown in body of corresponding try statement
catch (IOException e)
^
1 error

Non conosco JDOM ma andando a vedere il javadoc online, vedo che i metodi build() di SAXBuilder lanciano sia JDOMException che IOException. Quindi quello che hai scritto mi sembra giusto.
Strano ... o c'è qualcosa che mi sfugge.