public void insertString(int offs, String str,
			javax.swing.text.AttributeSet a) throws BadLocationException
	{
		if (Character.isDigit(str.charAt(0)))
		{
			if (getText(0, getLength()).equals("0"))
				super.remove(0, 1);
			super.insertString(getLength(), str, a);
		}
	}