eclipse settings and plugin descriptions.