Pydev 1.2.3 released