leia - Revision 21133: /mods-wnpp/trunk/tico/branches/tico-branch-2/.settings
..
org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs