ShellEd is a superb shell script editor for Eclipse. The benefits of this plugin are the integration of man page information for content assist/hover help and the ability to run your project's shell scripts without leaving Eclipse. Check it out!

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Analyze and visualize tours in many variations, which are recorded with a GPS device, bike-, exercise- or ergometer-computer. Some highlights: Tools are available to adjust recorded data, GPS tours can be visualized in customizable maps, ...

EclEmma is a free Java code coverage tool for Eclipse, available under the Eclipse Public License. It brings code coverage analysis directly into the Eclipse workbench.
The EclEmma project is also the home of the JaCoCo code coverage library which is the technical back-end for EclEmma and also has integrations with many other build and software quality tools.

EMMA is a fast Java code coverage tool based on bytecode instrumentation. It differs from the existing tools by enabling coverage profiling on large scale enterprise software projects with simultaneous emphasis on fast individual development.