Setting up PyDev integration