A REPL View for the Eclipse IDE