Changed implementation of Number of Columns field.

Number of Columns field is now back to being  a JTextField and uses a
custom DocumentFilter to allow only digits. Changed from a
JFormattedTextField, which had some undesirable features.