/org.eclipse.core.resources.prefs/1.1/Sat May 30 08:38:15 2009//
/org.eclipse.core.runtime.prefs/1.1/Sat May 30 08:38:16 2009//
