An Eclipse plugin