Apparently the amount of actual eclipse users didn...

# announcements

[karelpeeters]

Apparently the amount of actual eclipse users didn't justify the effort required to develop the eclipse plugin.