// Robert Bradshaw  11/98


import java.awt.*;
import java.awt.event.*;

public class IntFieldListener extends KeyAdapter {
  public void keyPressed(KeyEvent e) { 
    if ('0' <= e.getKeyChar() && e.getKeyChar() <= '9');
    else if (e.isActionKey() ||
             e.getKeyCode()==KeyEvent.VK_ENTER || 
             e.getKeyCode()==KeyEvent.VK_TAB ||
             e.getKeyCode()==KeyEvent.VK_BACK_SPACE);
    else {
      e.consume();
    }
  }
}