aranea - Revision 2257: /trunk/java/node/ch.ethz.origo.aranea.node.mail/.settings
..
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs