leia - Revision 21133: /mods-wnpp/trunk/tico/branches/TICO-e1.0r6-devel/.settings
..
org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs