This directory stores all kinds of helper files or configuration files which
are used during development. So currently there are:

- Some *.xml files to configure Eclipse IDE and/or plugins
- Some *.launch files which are Eclipse launch configurations

$Id$