protected ConsoleDocument
getConsoleDocument()
Copyright © 2005–2017 Eclipse Foundation. All rights reserved.