Sources for the debugger used in PyDev & PyCharm