ANN: eric 4.0.2 released