grep console finalized

Signed-off-by: Martin Lange <mail@martinlange.eu>
Merge branch 'master' of https://github.com/m-lange/eclipse.git