Como usar uma classe anônima InputVerifier para testar a validade da entrada em um JFormattedTextField

/*
 Este exemplo mostra como usar uma classe
 anônima InputVerifier para verificar a
 validade da entrada em um JFormattedTextField.

 Observe que a entrada válida será um valor de
 ponto-flutuante tal como 23.433,23 ou valores
 inteiros
*/

import java.awt.*;
import javax.swing.*;
import javax.swing.text.*;
import java.util.*;
import java.text.*;

public class Estudos extends JFrame{
  JFormattedTextField campo;  

  public Estudos(){
    super("Estudos Swing");
    
    Container c = getContentPane();
    c.setLayout(new FlowLayout(FlowLayout.LEFT));
    
    NumberFormat nf = NumberFormat.getInstance();
    NumberFormatter df = new NumberFormatter(nf);
    campo = new JFormattedTextField(nf);
    campo.setPreferredSize(new Dimension(100, 25));
    campo.setValue(new Double(0.0));
    campo.setInputVerifier(
      new InputVerifier(){
        public boolean verify(JComponent input){
          if(!(input instanceof JFormattedTextField))
            return true;
          if(((JFormattedTextField)input).isEditValid()){
            JOptionPane.showMessageDialog(null, 
               "Formato válido. Parabéns!"); 
            return true;
          }
          else{
            JOptionPane.showMessageDialog(null, 
              "Formato inválido. Tente novamente.");
            campo.setText("");
            campo.requestFocus();
            return false;
          }               
        }
      }
    );
	
    // cria um botão
    JButton btn = new JButton("OK");		

    // Adiciona os controles à janela
    c.add(campo);
    c.add(btn); 

    setSize(350, 250);
    setVisible(true);
  }
  
  public static void main(String args[]){
    Estudos app = new Estudos();
    app.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
  }
}