Java javax.swing.text DocumentFilter