This is a customized DocumentFilter to have better user input control over JTextFields.