History For PyDev Extensions