A simple extension of Eclipse 3.4 framework console