As JTextArea.setTabSize is implemented in terms of setting a property on the Document, it's lost if the Document ever changes. This is problematic as read() creates a new Document.