/org.eclipse.jdt.core.prefs/1.5/Tue Feb 26 01:06:17 2008//Tv20080212
/org.eclipse.jdt.ui.prefs/1.1/Fri Jul  7 09:42:14 2006//Tv20080212
