- Revision 592: /tags/1.4.2/.settings

• ..
• org.eclipse.core.resources.prefs
• org.eclipse.jdt.core.prefs