wisp - Revision 12680: /var/timm/eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings

• ..
• org.eclipse.core.resources.prefs
• org.eclipse.jdt.ui.prefs
• org.eclipse.ui.editors.prefs
• org.eclipse.ui.ide.prefs
• org.eclipse.ui.prefs