e.doit = ( "1234567890\0".indexOf( e.character ) != -1 );
e.doit = ( "1234567890\0\b\0x7f".indexOf( e.character ) != -1 );
			public void verifyText( VerifyEvent e )			{				e.doit = ( "1234567890\0".indexOf( e.character ) != -1 ); //$NON-NLS-1$			}