/org.eclipse.core.resources.prefs/1.1/Thu Aug  2 18:31:59 2012//
/org.eclipse.jdt.core.prefs/1.11/Sat Nov 10 04:28:32 2012//
/org.eclipse.jdt.ui.prefs/1.8/Fri Aug 10 04:00:45 2012//
D
