JFaceのTextViewer等のテキストを編集したい場合
・TextViewer.getDocument()でDocumentを編集
・TextViewer.getDocument().get()でStringに入れて編集
のどっちがいい？