- Revision 3533809: /timed-widget/.settings

• ..
• .jsdtscope
• org.eclipse.php.core.prefs
• org.eclipse.wst.jsdt.ui.superType.container
• org.eclipse.wst.jsdt.ui.superType.name