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