leia - Revision 21133: /mods-wnpp/trunk/tico/branches/tico4android/.settings
..
org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs
org.eclipse.ltk.core.refactoring.prefs