Como usar uma máscara de entrada de CEPs em um JFormattedTextField

/*
 Este exemplo mostra como usar uma máscara
 de entrada de CEPs em JFormattedTextField.

 O formato de CEP usado é: 48394-584
*/

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

public class Estudos extends JFrame{
  JFormattedTextField campo;  

  public Estudos(){
    super("Estudos Swing");
    
    Container c = getContentPane();
    c.setLayout(new FlowLayout(FlowLayout.LEFT));
    
    try{
      campo = new JFormattedTextField(
        new MaskFormatter("#####-###"));
    }
    catch(ParseException excp){
      // algum problema pode ocorrer aqui
    }
   
    campo.setPreferredSize(new Dimension(100, 25));
    
    // 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);
  }
}