#Fri Oct 03 19:37:12 PDT 2008 useQuickDiffPrefPage=true proposalOrderMigrated=true tabWidthPropagated=true org.eclipse.jdt.ui.javadoclocations.migrated=true useAnnotationsPrefPage=true org.eclipse.jdt.internal.ui.navigator.layout=2 org.eclipse.jface.textfont=1|Courier New|10.0|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New; org.eclipse.jdt.ui.editor.tab.width= org.eclipse.jdt.ui.formatterprofiles.version=11 spelling_locale_initialized=true eclipse.preferences.version=1 fontPropagated=true