如何在Pydev中使用exec()替换execfile()，并按Ctrl+Alt+Enter键绑定?

There's a problem in Pydev 2.5 and Python 3.2 with trying to load the module contents "into" the interactive console: when you hit Ctrl+Alt+Enter, Pydev fires execfile(filename) instead of exec(compile(open(filename).read(), filename, 'exec'), globals, locals) - the latter being execfile()'s replacement in Python 3+...There's a problem in Pydev 2.5 and Python 3.2 w