An Eclipse plugin for AutoFlox