A collection of eclipse plugins