インタフェース
javax.swing.event.DocumentEvent.ElementChangeの使用