aranea - Revision 2257: /trunk/dev/ch.ethz.origo.aranea.messagedsl/.settings
..
org.eclipse.core.resources.prefs