public void processKeyEvent(KeyEvent e) {
								char c = e.getKeyChar();
								try {
									if(c > 31 && c < 65535 && c != 127) {
										Integer.parseInt(c + "");
									}
									super.processKeyEvent(e);
								}
								catch(NumberFormatException n) {}
							}