/org.eclipse.core.resources.prefs/1.1/Fri Jun  8 07:36:12 2012//
/org.eclipse.jdt.core.prefs/1.1/Fri Jun  8 07:36:12 2012//
