public class DocumentFormatException extends Exception {
  public DocumentFormatException() {
    super("La riga di input non e` formattata correttemente.");
  }
}