protected ConsoleDocument
getConsoleDocument()
Copyright © 2005-2017 Eclipse Foundation. All Rights Reserved.