Utilities for Eclipse, not necessarily plug-ins